compile_parallel.py: print the log of interaction with coqtop on proof error
compile_parallel.py: print the log of interaction with coqtop on proof error

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