Substitute Building Github Pages with Github Actions instead of Travis CI

[mariobehling]

Previously Travis CI helped to create Github Pages. As we are no longer using Travis please implement this action using Github Actions.