docker container to have most software ready to easily convert github repository to pdf file