Rewrite congruency checker [SSS]
Updated prover
Updated prover, dont check for same triangle.
Removed useless prints
Fixed one bug.
Updated prover
Updated.
Fixed two bugs. (`x` instead of `xline`)
Fixed another bug
SSS DONE!!! COMPLETED !!!

Made SSS congruency. Removed debug lines. Fixed another bug.
Changed is_equal_line to is_line_equal
Added method to check if trg's are congruent
Fixed one more bug
Corrected mistayke in point name
Merge branch 'cleanup'
Merge branch 'congruency'
Made angles work.

Fixed many bugs.
Create angle with name only.
Make lines while making angles
Removed trailing spaces