Implement PDF export for graded Missions and Trainings

Resolves #260 
:+1: Yes, newlines at eof!