Update paxos.orc

Changed the goal expressions and comments with instructions to run them.