Made pipeline a bit more rebust when parsing PORTA output.
Added utility to check which facets of a polyhedron are violated by a given fractional vertex.