Major mode for Idris log buffers

Includes faces for highlighting timestamps and levels, plus View mode in
log buffers.
Add command and menu item for viewing compiler log
Merge pull request #43 from david-christiansen/better-log

Major mode for Idris log buffers