Better statistics on closed and merged PRs

@nedbat 
ick