Extraction: reduce krml output unless -d/--debug

[mtzguido]

Hi @msprotz , wondering if you think this makes sense. I usually see a lot of output from extraction runs that are all benign. This would prevent them unless you pass -d (https://github.com/FStarLang/FStar/pull/3527) or some other debug toggle.