modified:   model/protocol.py
	renamed:    sim/impl/mastertpc.py -> sim/impl/masterdl.py
	new file:   sim/paxos.py
	modified:   sim/rti.py