Be smart about Sphinx version

This is a follow-on to #1478, in which we determine whether we need a bleeding-edge Sphinx based on the version of graphviz found.