Dependencies: pin deploy dependencies (#9537)
We should not use the `requirements.txt` file from `readthedocs-ops` and use
`requirements/deploy.in` from this repository instead. This way, we can keep
track of all dependencies via pip-tools and avoid creating conflicting
environments.
