Make missing imports errors follow the IDESlave protocol

Now, IDESlave clients can show missing import errors properly rather than having it sent as REPL output.

RE idris-hackers/idris-mode#48
RE #879