sphinx-texlive2013 Dockerfile