Add the number of contributors to the GitHub stats

[dbohdan]

As soon as GitHub makes the data available through the GraphQL API.

https://platform.github.community/t/get-contribution-statistics/971