Add documentation for the journaling mechanism

It would be nice if we had some docs for the on-disk file format of the journal, and for how writing, reading, replaying, and cleaning the journal works. This should explain how we can ensure the integrity of the data even when we are not syncing after every modification.