Migrate from Travis CI to GitHub Actions

In light of this poorly handled security incident[0][1], here we switch our
CI process from Travis to GitHub Actions.

[0]: https://travis-ci.community/t/security-bulletin/12081
[1]: https://twitter.com/peter_szilagyi/status/1437646118700175360