Implement PDF export for graded Missions and Trainings

Resolves #260 
@wangqiang1208 I had intentionally removed syntax highlighting from the PDF output to simplify the implementation, but if this feature is needed I'll work on implementing it.