Wiggle half edges to identical coordinates when reading input

[saraedum]

Often when parsing input coordinates don't line up exactly. E.g., the vectors that underly the triangulation do not add up in double precision.

While we cannot do anything about the underlying numeric instabilities, we could at least try to patch the input data so that faces are closed to high precision. Otherwise, other algorithms will likely get into trouble later.