Automatically build the handbook PDF in our GitLab CI. In the future, we will also build the web version here.