Move CI to GitHub Actions, coverage to Codecov.
4 files changed