Show warnings even if they don't have a source location

Ideally, Idris would send all errors with source locations, but this is
a nice stopgap.
IDESlave protocol flexibility