Add option for a bit more verbosity on old version of coqtop