change test_mpaxos to bench_mpaxos, and modifies the format of command line