Remove Sphinx from dev-requirements to accelerate CI builds and remove --use-mirrors option