Implement PDF export for graded Missions and Trainings

Resolves #260 
I'm not familiar with rails asset pipeline, but if `pdf.css` is only included when generating the PDF, then it's okay. Or else, please namespace everything under pdf.css under one selector like what @jiunwei-moe  suggested.