Makefile: since we are not using compile_parallel.py, drop dep from proof on coq
Makefile: since we are not using compile_parallel.py, drop dep from proof on coq

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl