Add ci tests, including a GitHub Actions workflow and a badge in the README.md to reflect its results.
