NEW Github API integration for leader board

Keeping BigQuery leaderboard around, but untested :/