Model leader election as simple FSM

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.