Upgrade Sphinx and use the new RTD theme.