v2.5.1: Revert "bump cgal, boost; rm gmp, mpfr (#2431)"

This reverts commit 5067c8b7eb85343af8f53cdeb0bfd1957ad59e04.