fixing diagnostics

ground program was computed but not displayed in release mode
gringo warnings were only given in --enable-debug, but they are cheap
making G&C MG more verbose in full debug (cheap checks if deactivated)
added benchmarking (much of it deactivated but ready to use for later)
making benchmark display (column order) during run and afterwards consistent