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? 
For some reason, it's called molokai in coursemology... >_< Probably a typo but we are using molokai everywhere in the code.