#2 Binary output encoder

[Nick Darlow]

Encode log messages to a binary format. Making the file format proprietary has advantages in speed and parsing simplicity. It would also discourage users from making potentially incorrect edits. To balance this a binary format would require a reader rather than the current text output which you can read in any text editor.