Rational linear algebra and polytope stuff extracted from faacets-core to own subproject.