Added trg_cong class
Added new code to make_triangles_congruent
Merge branch 'congruency'

Conflicts:
	prove.py
Removed sets and replace by lists.

WHY, WHY did i use sets?