CGAL 4.3 (upgrade)

Upgrade from 4.2 to 4.3 of CGAL library.