Doc fixes#407

james-d-mitchell merged 2 commits intolibsemigroups:stable-1.4libsemigroups/libsemigroups_pybind11:stable-1.4from

james-d-mitchell:doc-fixesjames-d-mitchell/libsemigroups_pybind11:doc-fixesCopy head branch name to clipboard