added redirect as per https://help.github.com/articles/redirects-on-github-pages