Replace travis-ci with github actions / gitlab-ci
The current Travis-CI configuration is dead, it needs to be replaced with GitHub Actions, or GitLab CI (see #37 (closed)).
The current Travis-CI configuration is dead, it needs to be replaced with GitHub Actions, or GitLab CI (see #37 (closed)).