Switch from Travis CI to GitHub actions

[timonegk]

travis-ci.org was discontinued in favor of travis-ci.com. I used the opportunity to switch to GitHub actions to have fewer external dependencies.