Tweak linearity checker to deal with overloaded names properly
Minor effects changes (locally, search depth)
Remove type class argument restriction in parser
Flag to disable effects
Full TT reflection and reification
Repaired effects library, less attacks in applyTactic
Vim support for the new tactic keywords
Include reflection of the current goal in proofscript arguments
Improved performance by not going through PQuote and doing less normalisation
IBC Version number bump
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.
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
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
Remove the unicode from the source files.

This has tripped up at least a couple people trying to install idris, because their
LANG setting did not include unicode, or something.  This comment was just copied
and pasted from the comments of the Haskell lib.  The benefits of having a math
symbol in there don't seem to be worth the pain it causes some people.
Merge pull request #267 from LeifW/get_rid_of_unicode_in_source

Remove the unicode from the source files.
An effect to allocate and manipulate memory
Test fixed