plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs