modified mutmut.py : improved RHypothesesTree.show_results()