added some client functionality (needs work). add ability to stop paxos server.  main file now stops master and lets the other two try to run a re-election. fixed bug in paxos (wasn't resetting the n_a value at decided; also wasn't resetting v_o)