Be smart about when we need a bleeding-edge Sphinx.
Merge pull request #1484 from mdboom/docs/graphviz-version

Set minimum sphinx based on which graphviz is present