make.bat: Try Sphinx installed in Python when sphinx-build is not in PATH