Implement PDF export for graded Missions and Trainings

Resolves #260 
If we want consistent appearance across all browsers, it's better to specify `font-family: Helvetica, Arial, sans-serif` or something.