Upgrade Travis-CI to use CGAL 4.4