optimize logging in multi_paxos.ml, multi_paxos_fsm.ml, multi_paxos_test.ml and slave.ml
Merge remote-tracking branch 'refs/remotes/origin/optimize-logging-paxos' into 1.6