Do the Sphinx version check ourselves.

The one built in to Sphinx only handles major.minor.
Merge pull request #2667 from mdboom/doc/sphinx-version-check-ourselves

Do the Sphinx version check ourselves.