Add toploop to coq, so hoqtop -help succeeds
./autogen.sh