document binary file format
We need a proper documentation of the binary file format. The reader has potential for improvement, but the format is not documented.
In particular it should be possible to simply mmap most of the content of the file.
Edited by Christian Engwer