chore(replica)

Only create proposeTicker if batching is enabled.
Merge branch 'master' of github.com:yifan-gu/epaxos
Merge pull request #107 from yifan-gu/master

#106