Cleanup/github pages

Preparations to move the repository to github pages