Github migration

Minor changes according to migration from Sourceforge's mercurial repo to github.