Removed unused include
Bumped CGAL to 4.2m eigen to 3.1.3 and gmp tp 5.1.2
clamp  to 3. Fixes #395
Merge branch 'master' of github.com:openscad/openscad