Migrate from TravisCI to GitHub Actions (#22)