Add DecEq instance for string
Add decEq unit test
Add IPKG for SimpleParser
Correct usage information
Basic functioning with new pretty-printer
Colouring support in the prover
Replace the string-slinging show with pretty-print

The built-in show for PTerms has been completely removed. This reduces
code duplication, but it also ensures that semantics last longer - a
step towards better IDE support.
Merge remote-tracking branch 'upstream/master' into semantic-pprint

Conflicts:
	src/Idris/AbsSyntaxTree.hs
	src/Idris/Delaborate.hs
Properly annotate the Type of Types
Eq and Ord instances for Prelude.Vect
Support semantic highlighting in IDEslave mode

Now, semantic information from the pretty-printer is sent as a list of
spans associating regions of output with metadata.
javascript: remove allocations
javascript: cleaned up
javascript: smarter inliner
javascript: translateDeclaration should not return JSSeq
javascript: eliminate dead cases
javascript: main and invokeLoop as JS
javascript: initial code for function inliner
javascript: more work on inliner
javascript: more inliner experiments