Extracted polytope and rational linear algebra to its own subproject.