Prettier logging

Show Idris log levels and timestamps in the left margin rather than
mixed up with the message.