Add toploop to coq, so hoqtop -help succeeds