Switch CI from TravisCI to GitHub Actions #174
Description
As the TravisCI API seems to have changed so that the build status doesn't work anymore:
... it seems it is probably easier/better to switch the CI to GitHub actions instead, using the existing Travis config as a guide.