[This is preliminary documentation and is subject to change.]
Writes Messages to a file.
Remarks
The file is written in the same format used by the other methods
in this class, and so the file can be read by the TreeDeserialiser class.