dummy state machine
Merge branch 'dev' of github.com:yifan-gu/epaxos into dev
Merge pull request #4 from yifan-gu/dev

dummy