Get rid of GitHub fork banner;

fixes #11;