[FileIO] Corrected readTIN() and made it more robust.
[FileIO] readTIN(): check if tri isn't degenerated.
Merge remote-tracking branch 'tom/add-TIN-tools' into add-TIN-tools