Get stars for non-GitHub repositories via API

[KristjanESPERANTO]

We already display the stars of the repositories on the page. For GitHub repositories, they are retrieved via the GitHub API.

With a quick and dirty solution, the stars for non-GitHub repositories were written hard into the code. There are only a handful of repositories outside of GitHub, but we should do this properly.