More autoconf

Clean up a few more things in configure.ac.  I unintentionally changed `COQCDEP` and `COQCDOC` to `COQDEP` and `COQDOC`.  Was there a reason for having them the other way?