use updated links to github pages
use updated links to github pages

[skip ci]

misberner/automatalib,LearnLib/automatalib,LearnLib/automatalib,LearnLib/automatalib,LearnLib/automatalib,misberner/automatalib