Add the functionality of the `Konieczny` class from `libsemigroups` to the Semigroups package

[james-d-mitchell]

Support for the Konieczny class in libsemigroups should be added to the Semigroups package:

https://libsemigroups.readthedocs.io/en/latest/_generated/libsemigroups__konieczny.html?highlight=koniec#_CPPv4I00EN13libsemigroups9KoniecznyE

This can probably wait until after libsemigroups v3.0.0 is released.