Convert CI to Github Actions

[pzuraq]

I experimented with Azure pipelines when first writing this because that was the dominant non-Travis solution at the time. Now that Actions are available, I think we should probably switch over, it's likely to be simpler and more reliable.