DOC: install: new gr1c version and polytope as dependency
DOC: State that polytope was once separate, in install docs