Implement PDF export for graded Missions and Trainings

Resolves #260 
This too. We are using `.cos_code` for mission submissions. :wink: