renamed:    sim/impl/cendet.py -> sim/impl/cdetmn.py
	renamed:    sim/impl/dynlock.py -> sim/impl/cdylock.py
	deleted:    sim/impl/masterdl.py
	renamed:    sim/impl/masterdet.py -> sim/impl/mstdetmn.py
	new file:   sim/impl/mstdylock.py
	modified:   sim/paxos.py
	modified:   sim/system.py