Slightly modified check_solution output, and added as example to README