renamed Hits Monitors to Checkers

Suzanne Klaverrequested to merge
sklaver_renaming_hitsmonitors into master

Since these hits algorithms rely on MC, they should be Checkers rather than Monitors. The renaming is also applied in the Moore options that use these monitors in Moore!1201 (merged).

Edited by Suzanne Klaver

Merge request reports