Remove the "testedfiles" hack

This was added in 1a8c84e3450ab458622f08c62f7afe492e529312 as a
short-term hack. It is not needed anymore (we parse comments properly
now) and it actully stopped to work at some point.