Minor effects changes (locally, search depth)
Remove type class argument restriction in parser
add command to change current directory
Merge pull request #260 from hannesm/support-change-of-working-directory

add command to change current directory
Merge branch 'master' of https://github.com/edwinb/Idris-dev