4.0.0

This is a major release which simplifies and improves many aspects of the package. The kernel module has been simplified significantly, to make it easier to incorporate future changes in libsemigroups, and some superfluous functionality was withdrawn.