fix CI pipeline for building docs by updating image

The solution was freeing storage on our CI server. If there is no storage, then apt update fails in the docker image that builds the docs.