Dockerfile that builds the local documentation

Using the image from documentation-generator/_setup, the ID of
which is currently hardcoded in this Dockerfile.