New: add --quiet option (fixes #905)