obsolete, use https://github.com/GaloisInc/camkes-tool rust branch instead - View it on GitHub