add closed, opened, merged pr count in user schema
- add logic to update pr counts in webhook/github.js
- update logic to get pr counts in /users/stats/:githubId
- update logic to get pr counts in /leaderboard
- update logic to update pr counts in /users/sync-prs