The grading flag now also sets the hard (-H) flag.

The -H flag was basically always used when grading anyway as it gives
out more precise statistics.

gitinspector.py

@@ -110,6 +110,7 @@ if __name__ == "__main__":
 				__run__.list_file_types = True
 				__run__.responsibilities = True
 				__run__.grading = True
+				__run__.hard = True
 				__run__.timeline = True
 				__run__.useweeks = True
 			elif o in("-T", "--timeline"):

help.py

@@ -33,7 +33,7 @@ Mandatory arguments to long options are mandatory for short options too.
                                  the available formats are: {2}
       --grading                show statistics and information in a way that
                                  is formatted for grading of student projects;
-                                 this is the same as supplying -lmrTw
+                                 this is the same as supplying -HlmrTw
   -H, --hard                   track rows and look for duplicates harder;
                                  this can be quite slow with big repositories
   -l, --list-file-types        list all the file extensions available in the