Implement PDF export for graded Missions and Trainings

Resolves #260 
lol it's ok then. but i thought the codemirror css theme would be named monokai and molokai wouldn't work. strange lol.