PDF-generation of tickets. Fixes #4