Add sphinx and sphinxcontrib-httpdomain

Packages required only to generate the documentation.
They shouldn't really be in the final docker image but they are not very
big and it makes it much easier to generate the doc.