import AlphabetWithInverses by default in all.py and improve the
docstring in free_group_automorphism