Move CI to GitHub Actions

[janosh]

I think it would be nice to move CI from CircleCI to GitHub Actions. One less 3rd party, no extra login required for external contributors to inspect CI failures, probably more people familiar with Actions than CircleCI so more likely to receive external CI contributions.