--disable-bundled-coq -> --without-bundled-coq

For consistency with, e.g., --without-coqide.  The version of Coq to use
is more like an (optional) external dependency, and less like a feature.