Fetch file extensions from github/linguist to render nice language names on leaderboard