2.5 Phase Commit

Machine verified implementation of 2.5 PC

Heavily influenced by IronFleet and the lock protocol found here: https://github.com/GLaDOS-Michigan/CodeLab-ToyLock