Add format option for 'list' command, add ignore files for the
'satisfy' command.
Clean-up and wibbles.
Generate user stats for courses.