Bug 257267: allow trimming leading zeros when typing the test number in the testing suite; patch by GavinS <bugzilla@chimpychompy.org>; r=vladd, a=myk.