submission system for automatic grading via git or the web