Basic, debugged, Paxos implementation

This does not implement MultiPaxos, preferring to do each round
individually.  It's super-inefficient!