Added deployment script for PDFs to github pages branch.