Removed extra comma and added some code.

But not working still.
Updated gitignore
Merge commit '2db82' into congruency

I am using gedit now and this is making lots
of ~ files. So I have to merge this commit.
Found and fixed one bug.

Another bug still left.
Added some code.

But still not working due to bug in seti.
Merge branch 'master' into congruency

Sets removed from master.
Merge branch 'master' into other
Merge branch 'other'
Merge remote-tracking branch 'origin/angles'
Changed add to append on line 164,165,166
Changed add to append on line 76
Merge branch 'angles' of github into congruency

Conflicts:
	prove.py
Merge branch 'congruency'