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.
More IDESlave semantic highlighting

This adds support for :t name
Fix pretty-printing of infix operators
Rewrite error printing to use the pretty-printer

This allows semantic annotations for errors. Potential features include
clicking source locations to jump to them, and showing "specifically"
sections collapsed at first.
Merge pull request #795 from SimonJF/deceq-str

Add decidable equality instance for String, and a decEq unit test
Merge pull request #798 from SimonJF/simpleparser-ipkg

Add IPKG for SimpleParser
Merge pull request #799 from markuspf/master

Correct usage information
Merge pull request #803 from alexeevg/master

Eq and Ord instances for Prelude.Vect
Merge pull request #809 from raichoo/javascript

Javascript
Merge pull request #801 from david-christiansen/semantic-pprint

Colour support in the prover + refactoring of pretty-printing vs show