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
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 #801 from david-christiansen/semantic-pprint

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