Implement PDF export for graded Missions and Trainings

Resolves #260 
What I mean is the color (grammar highlight) of the code, should be the same as it showed on web page ?