optimize logging in multi_paxos.ml, multi_paxos_fsm.ml, multi_paxos_test...

....ml and slave.ml