filter-traceback: simplify handling...
filter-traceback: simplify handling
With all the recent change in Python, the best we need and can do is "ignore all
line starting with a space after a line starting with "Traceback ".
So let us simplify the script.