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)
The `default` case should call `unreachable()`, just like in `format_log_level()`.