What levers/knobs exist to have pants `stdout`/`stderr` use one log level, and have the log file use another? I want our CI output to be concise for humans, but upload the more verbose log for diagnoses.