Upgrade to v1.3.5.
Release notes at https://github.com/libsemigroups/libsemigroups/releases/tag/v1.3.5.