Removed extra comma and added some code.

But not working still.
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 'other'
Added Class `angle`.
Added more code for angles

added get_angle, new_angle, modified angle class and added 'angles':[]
to <figure>.things .
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'