server: simple paxos server skeleton
server: main function