add sage 5.12 version of galois_group.py