Build documentation using docker

Build a docker image from the docker file, then build the documentation using a script.