Introduce a custom target `html` and a build configuration option `docs` to build the sphinx html documentation.