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