Migrate from Travis → GitHub Actions

[paulhoadley]

For whatever it’s worth (and in this fork, that’s probably not very much), we can no longer build this using Travis CI. The “build” badge (both here and in the parent project) has been dead for some time. It could no doubt be easily migrated to use Actions instead.