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
Merge branch 'ImprovedReflection' of https://github.com/JanBessai/Idris-dev into JanBessai-ImprovedReflection

Conflicts:
	effects/Effects.idr