Update paxos.orc

Changed the goal expressions and comments with instructions to run them.
Merge pull request #1 from mantri/patch-1

Update paxos.orc