CakeML Attestation Manager Release

Our reference CakeML Attestation Manager is available. The CakeML Attestation Manger is a relatively small implementation of a Copland interpreter written using the CakeML language. The implementation is actively maintained and used as our primary delivery platform.