Make sure names are not defined more than once
Fixes issue #124
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
Make unification faster by computing HNF rather than normalising
Improve elaboration efficiency by cutting down on excessive backtracking
REPL shouldn't try to be too clever...
Fixes first part of issue #150
javascript: tailcalls
javascript: use runMain0 instead of main
javascript: abstracted tailcalls