RELEASE.md

Publish a release

From a clean repository, at the root:

1. Generate the RAL: make
2. Commit the changes, and create a tag.
3. Publish the RAL:

   cargo publish