Add PDFs of lecture slides to the repo #51
Description
We can use https://github.com/astefanutti/decktape to generate PDFs of the remark slides.
The process of generating these and adding them to the repo (or generating them as part of a release) should be defined as GitHub Actions.