STM: make -async-proofs on work from coqc too
STM: make the slave start from the most recent known state