Model leader election as simple FSM

[clinedome-work]

Election in the Leader actor is actually quite a simple FSM. This could be modeled very easily with context.become() (or with a real FSM, though that might be overkill). It would reduce the amount of variable state in the Leader somewhat. This change would also make it significantly clearer what the leader does with incoming messages in each case.