Switch to GitHub Actions-based CI
GitHub Actions profiles a nicer alternate to Travis for running continuous integration jobs.