Add new feature to count the number of closed pull requests. Close #56
Remove the old version of counting closed pull requests.
Merge remote-tracking branch 'origin/56_speed_up'

Conflicts:
	src/main/java/net/exkazuu/probe/github/GithubRepositoryPage.xtend