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