Switch base image for Docker images
This cuts down the image size by about a factor of 2. One consequence of doing so is that installing latex is not easily doable so we also switch to using mathjax for the HTML docs.
This cuts down the image size by about a factor of 2. One consequence of doing so is that installing latex is not easily doable so we also switch to using mathjax for the HTML docs.