Make sphinx be from pip rather than from the package manager.
Constrain sphinx version.
Merge branch 'sphinx'.
Upgrade pydoctor to release version.