ml files PHONY in main Makefile to rebuild when Coq files change
ml files PHONY in main Makefile to rebuild when Coq files change

uwplse/verdi-raft,uwplse/verdi-raft,uwplse/verdi-raft,uwplse/verdi-raft,uwplse/verdi-raft