new tools VTK2TIN, TIN2VTK

as titled
just to make sure you didn't forget something: does a TIN file have a header like a "normal" CSV file?