Add link to Kmett's semigroups library.