Migrate CI to github actions

[simskij]

The current CI used is CircleCI, and while great as well, we have everything else in GitHub Actions, so this should be migrated at some point. While at it, also delete the travis config file and any other unused files lying around