cgal update from 4.1 to 4.2

url points now to cgal4.2 and created new sha1 key
works fine on my computer