Add methods for `AllCongruenceFreeSemigroups` and `NrCongruenceFreeSemigroups`

[ChristopherRussell]

I haven't written these yet but I think I can do something which is better than just using AllZeroSimpleSemigroups for the database. Not so sure about a good method for NrCongruenceFreeSemigroups.