Add swap files to .gitignore
Add a class for verified finite groups