CI: replace Travis with GitHub Actions.