Added Hello and Bye messages to Leader Election, not tested yet.
Finished Paxos implementation.