Implement PDF export for graded Missions and Trainings

Resolves #260 
Correct me if I'm wrong, but I believe the name of the theme that I commonly see is called monokai?