javascript: split javascript and node target
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