Fix `try_become_leader` overtake leadership logic#154

haraldng merged 1 commit intoharaldng:masterharaldng/omnipaxos:masterfrom

kevin-harrison:become-leader-fixkevin-harrison/omnipaxos:become-leader-fixCopy head branch name to clipboard