Do Sphinx version check ourselves

The one built-in to Sphinx only handles major.minor.