Added option to accept both local and global IPs from the command line. Local IP will be used by the message pump, global IP will be used by the rest of Paxos
Merge branch 'finishbasicpaxos'