Implement PDF export for graded Missions and Trainings

Resolves #260 
I think we have to namespace it somehow. >_< Though namespacing might not be the right word here. @yangshun, any comments for his css code?