Display "can't find import" errors in warnings buffer instead of REPL

Fixes #48 once idris-lang/idris-dev#1180 gets merged.