Add GitLab CI
This will build the PDFs and publish them as artifacts on the build job. We get to see if things break in intermediate changes, also (wishful thinking?) people might send merge requests and this would test them too.
We probably want this cherry-picked on the WIP branches too?