Consistent snapshots specification

Fixes #152 (Specification should discuss how to write and read consistent snapshots).