javascript: split javascript and node target
Lots of implementation paper revisions
removed extra "this"
Merge pull request #186 from ggreif/patch-1

removed extra "this"
Some polishing, spell checking
Revision of impl-paper completed.
Speed up termination checker
Lots of duplication of work was happening, both ignoring functions
that were already known to be total, and repeating checks when arguments
not decreasing, now pruned.
Make coverage checker a lot faster
...with strategic use of 'nub' so as not to generate a crazy number of
clauses!
Fix error in conversion check
Fixes issue #187
Fix non-termination error in universe checker
Update version to 0.9.6.1
Merge branch 'bitstring' of https://github.com/bitlisp/Idris-dev into bitlisp-bitstring
Increment IBC version
javascript: extracted common runtime
Normalise type before checking it's a valid postulate
Merge branch 'javascript' of https://github.com/raichoo/Idris-dev into raichoo-javascript

Conflicts:
	CHANGELOG
Fix for line numbers on type signatures
Add missing modules to idris.cabal
Added codegen for bitstring constants
Returned Bits and Mod2 to Prelude in preparation for use in FFI