Disable gmsh messages on stdout - there is no point in them since they do not go into log file