SubmissionChecker: Rename SigsumSubmissionChecker
I think that even if the Sigsum context is somewhat implied from which Gitlab group this repo lives in as well as the branch name, it wouldn't hurt to add Sigsum to the file name, class name and documentation.