Minor update to v1.3.3.
Release notes at https://github.com/libsemigroups/libsemigroups/releases/tag/v1.3.3.