Overleaf Dockerfile