KeyboardInterrupt handling:
* in --verbose mode, print a detailed traceback at the end of
the report.
* in non-verbose mode, only print the file name and line number
where the KeyboardInterrupt occurred. That's the minimal
amount of information that is of any help at all to locate
an infinite loop somewhere.
--HG--
branch : trunk
7afc30d130