Clean-up of grader software 

Grader software now a Django-based application
Still works on the basis of schroot but can also work locally
Added Octave grading