enable --info output of names of CGAL Kernels to aid debugging
gcc 4.7 should work for demangling of CGAL kernel info name
Don't recompile while editing the text. Wait until saving or manual refresh. Fixes #482
add children primitive, and refactor control.cc a little
Merge branch 'children' of https://github.com/vicnet/openscad into children