Docker for sharelatex