Move graders of batchgrader from "cor" to "sol"

Changes corresponding to giomasce/cms@17e52d1.