Send a message to CodeCert