Fix #3040

- Introduce "notice" log level
- info and notice levels go on stdout, not on stderr
- Label "info:" doesn't get printed on stdout (but does to log file)
Now that we have a new log level, we probably also want `logNTC` and `vlogNTC` functions to go along with it. (See `logINF`, `vlogINF`, etc. below in this file.)