PR: update link to github, this repo seems to be up to date.
Merge branch '0.7-prpack' of github.com:igraph/igraph into 0.7-prpack