Dockerized PDF deployment in GitHub Actions (sysprog21#28)

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 sysprog21#27 - Reproducible TeX build environment using Docker