Switch from Travis CI to GitHub Actions

[martinmo]

Please note that we don't need a Maven setup action, because we ship Maven as part of the repository (Maven wrapper).