Implement PDF export for graded Missions and Trainings

Resolves #260 
OK, My concern is that the output is not very nice when code area grows large. I'm not sure whether you should implement it, it depends on the requirements.