Add a gitignore that ignores the cruft made by the build process
Add the pdf to the github repo, per request .-)