Add %instance for explicit access to resolveTC tactic
JavaScript stuff.
Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascript

Conflicts:
	src/IRTS/Compiler.hs
	src/Idris/AbsSyntaxTree.hs
	src/Main.hs
Compile on GHC 7.0
Transitivity of equality
Modify documentation comment parsing
Fix injectivity check
A small amount of proof automation, via tactic reflection
Allow class constraints in syntax definitions
Merge pull request #141 from sanxiyn/master

Compile on GHC 7.0
javascript backend
Merge pull request #146 from raichoo/javascript

Javascript backend
Parse case options as patterns, not expressions
Fixes issue #147