Add missing presentation functions

[Joseph-Edwards]

In libsemigroups, we have the following functions:

• add_commutator_rule,
• add_commutes_rules,
• add_idempotent_rules,
• add_identity_rules,
• add_inverse_rules,
• add_involution_rules, and
• add_zero_rules.

However, in libsemigroups_pybind11, we only have:

• add_identity_rules,
• add_inverse_rules, and
• add_zero_rules.

We should implement:

• add_commutator_rule,
• add_commutes_rules,
• add_idempotent_rules, and
• add_involution_rules.