devicePixelRatio() was introduced in Qt-5.1.0
more documentation of scripts. disable java for gettext. disable docs for fontconfig
change gettext-tarball-existance test to use .gz not .xz, since the
download/unpack use gz (and gz is more portable than xz)
change gettext detection (libintl is part of gnu libc not gettext). also
disable native java in gettext. disable redundant glib build.
change gettext detection (libintl is part of gnu libc not gettext?)
builder.sh use master as default branch
Make sure convex objects remain convex as Nef polyhedrons
Faster minkowski()
Change minkowski 3d png test result from green -> yellow facets
Remove some c++11-syntax