Move CI to GitHub Actions

[ralphlange]

Implement the CI builds on GitHub Actions, equivalent to the Travis-CI builds.