Update to libsemigroups v3.4.0 and add features introduced there#380

james-d-mitchell merged 7 commits intolibsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:libsemigroups-v3.4.0james-d-mitchell/libsemigroups_pybind11:libsemigroups-v3.4.0Copy head branch name to clipboard