Added a set of utilities for automatic grading, and updated documentation