moved main paxos messages to run_server; no leader election/restart server yet