writeHeader

Writes out a header, which includes the serialization format version.