add PushEvent file stats

Turns out that the payload for PushEvent provides some undocumented but useful data.
GitHub support people claim it should be considered as a stable addition that is not going to disappear any time soon.