[FileIO] Corrected readTIN() and made it more robust.
[FileIO] readTIN(): check if tri isn't degenerated.
Merge pull request #33 from TomFischer/add-TIN-tools

Add TIN tools
Merge remote-tracking branch 'tom/add-TIN-tools' into add-TIN-tools

Conflicts:
	FileIO/TINInterface.cpp