[tor-commits] [tor/master] Update cov-diff to handle new gcov, and remove timestamps