Stephan-Brandt

Would it be possible to include some sort of progressbar in the `autograde` command that counts the problem sets it has corrected already and gives a total (I have tried...