add paxos
+u tmr
finish paxos part
refactored paxos
ok
add post office via pipe
refactor to state machine mode
lock server almost done
complete lock server
add complete set of code
Merge branch 'master' of ssh://github.com/tqchen/systems-homework