Updated subprojects.
Git ignores polytope-cache directory.