Better statistics on closed and merged PRs

@nedbat 
In other tools we've used dateparse or something for this.