Major mode for Idris log buffers

Includes faces for highlighting timestamps and levels, plus View mode in
log buffers.