Report REPL errors in IDESlave with highlighting
Report errors loading files using semantic highlighting
Turn of width detection in batch mode

This should make Idris more script friendly, which is good for our test suite.
Use pretty-printer for errors in imports
Merge pull request #883 from david-christiansen/semantic-pprint

Highlight errors in ideslave