Merge branch 'compile-with-docker-texlive' * compile-with-docker-texlive: removed unnecessary dependencies from dockerfile compiles using the included teXlive 2018 docker image; must have docker daemon running in order to succeed
Merge branch 'compile-with-docker-texlive' * compile-with-docker-texlive: removed unnecessary dependencies from dockerfile compiles using the included teXlive 2018 docker image; must have docker daemon running in order to succeed