Merge pull request #865 from david-christiansen/semantic-pprint

Improve pretty-printing
Add 'force' (opposite of 'lazy')

Used now in boolElim to ensure that thunks don't build up unnecessarily
(and this is the intended semantics of if...then...else anyway).
Report REPL errors in IDESlave with highlighting
Report errors loading files using semantic highlighting