Prettier logging

Show Idris log levels and timestamps in the left margin rather than
mixed up with the message.
Merge pull request #38 from david-christiansen/better-log

Prettier logging