Polyta - library for rational linear algebra and polytope manipulation