rename Multi_paxos.ElectionTimeout event to Timeout
small fix in master.ml regarding when a LeaseExpired and Timeout must be started