Fix argument to autogen.sh

Now it consistently takes --disable-bundled-coq.

Reported By: Gaetan Gilbert
Make coqide by default

Previously, to get hoqide, you were required to change to the coq-HoTT
directory and `make coqide` manually.  Now, there are `coqide` and
`install-coqide` targets of the toplevel makefile.  Additionally, if you
don't pass --without-coqide to configure, then the `coqide` target is
made by default.  You will still have to `make install-coqide` manually,
though.

Reported By: Gaetan Gilbert