For release

[jtpaasch]

Changes:

• License added to root of repo.
• Blurb added to the top of all .ml and .mli files.
• Documentation of config files added to README.md
• A script to cut new releases at bin/release/cut.bash

To cut a new release off main, checkout main, then run:

bash ${REPO_ROOT}/bin/release/cut.bash

Then:

• The script will tell you the current version and ask for a new semantic version (X.X.X) you want to bump to.
• The script will ask you to confirm (the script does not check that you entered a valid new version number, so this is your chance to cancel if you made a typo).
• If you confirm, the script will then cut a release, by taking the following steps:
  • On your current branch (main), bump the version numbers in the relevant *.opam files, commit, and push to origin.
  • Create an orphan release branch named release-X.X.X.
  • Push that release branch to github.
  • Go back to the original branch (main).
  • Delete your local copy of the release branch.

[jtpaasch]

Okay, fixes made. Shall I go ahead and squash/merge?

[ccasin]

Go for it - thanks!