update github repository url in import statements

I guess repository name has changed since the initial commit,
but programs still point to the old url.

github proxies old repository to the new one behind the scenes,
so you can still import libraries, but it is a bit confusing.