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