Inconsistent line coverage report

[gmshake]

The line coverage in html report is not the same with that in project building console. See the demo project https://github.com/gmshake/pitest-coverage

During debugging and tracing, I realized that the later coverage takes synthetic classes created by javac into account.

It is good if we make the line coverage report consistent thus not confusing the endusers :)