support for log messages from idris, show up in a different buffer (*idris-log*)

fixes #20 (at least partially, more work needs to be done on idris side to avoid Debug.Trace.trace)