add command to change current directory
Repaired effects library, less attacks in applyTactic
Vim support for the new tactic keywords
Include reflection of the current goal in proofscript arguments
Merge pull request #260 from hannesm/support-change-of-working-directory

add command to change current directory
Improved performance by not going through PQuote and doing less normalisation
IBC Version number bump
Fix eta problem
Fix some INTERNAL ERRORs which aren't (non-function type, nothing to introduce)
(And the crowd goes wild)
Eff note for the future...
If the goal is not a function type when elaborating \, invent one
...and attempt to solve it by unification
Add type provider errors + test case

Type provider errors now signal a top-level error. test023 contains a
trivially succeeding type provder and a trivially failing type provider.
Build RTS as shared library

The C RTS is now built as a shared library, so that the functions in the Idris
standard library that use parts of it will work in :x and in type providers.
Merge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflection

Conflicts:
	effects/Effects.idr
Merge pull request #264 from david-christiansen/providers-errors

Add type provider errors + test case
Statically link to RTS in generated C code
Parsing for Big Integer constants fixed
Merge pull request #265 from JanBessai/IntegerParsing

Parsing for Big Integer constants fixed
Hack to parse big integer constants without overflow
But we still need fromInteger to do the right thing
Basically working executor/interpreter