Migrate from Travis CI to GitHub Actions

[simon04]

Travis CI is shutting down: https://blog.travis-ci.com/2021-05-07-orgshutdown

Possible alternative, GitHub Actions: https://docs.github.com/en/actions