Replace publish-as-gh-pages.sh by Makefile
Add PDF version of slides