Old project that translates mocha files to the blif-mv format.