cgtime: output stats to stderr, not stdout
cgtime: add --quiet option