Replace Travis CI with GitHub Actions

[bd808]

Travis was great until it wasn't. Porting to GitHub Actions should be relatively simple.