Better statistics on closed and merged PRs

@nedbat 
One thing we don't do is validate fully.  You can do "--merged --open", and get weird results, I think.