Add a new GitHub Action to build and release the PDF file after every
push to master. Use texlive/texlive docker image for the sake of
reproducibility in preparation for future build tools like make4ht .
Progress #27 - Reproducible TeX build environment using Docker