lock/v1 package

Package lock is version 1 of the "retire the predecessor" upgrade pattern (pattern B of the exploration; see ../README.md).

v1 refuses every write until v0 has been retired. That is the whole point: at most one version is writable at any height, so v1 can safely fold v0's frozen total into its own and report a single authoritative number, the thing pattern A cannot do.