Add a check for Sphinx extensions.
Minor clean up of the configure messages.
Do not re-check sphinx in the nested configures.