Sync Forest and its helpers with recent changes in libsemigroups#347

james-d-mitchell merged 3 commits into

libsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:sync-forestjames-d-mitchell/libsemigroups_pybind11:sync-forestCopy head branch name to clipboard