Implement PDF export for graded Missions and Trainings

Resolves #260 
Using ids for selectors actually have marginal (or no) benefit over using classes, so I'd rather not use them: http://screwlewse.com/2010/07/dont-use-id-selectors-in-css/