Set up continuous integration on GitHub

[kbuffardi]

We want to configure this project on GitHub so that:

• every time we push a new commit to main that our CI checks to make sure that the build process works without failure.
• we have a CI status badge in README.md so that we can see how the CI is performing from the repository's home page