Is there any official way to provide warning / debug flags to why3? If the various why3 commands could accept `debug`, `warn` and `warn-off` flags that would be optimal.