README.md

Implementation of an I/O shim for extracting a cyclicity checker binary.

ml_cyclicityCheckerProgScript.sml: An I/O shim for the verified cyclicity checker