The CI script does the following:

- lint the `configure` shell scripts using `shellcheck`
- lint the file `README.org` using `org-lint`
- compile the project with Coq v8.8 and Coq v8.9.