Run gofmt on other programs in paxos area