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