Re-enabled some things now that it's working (???)
Merge branch 'master' of
https://github.com/jsebrof/AppDistCompProj4Paxos.git