Add library to run models from Ocaml#39

tperami wants to merge 1 commit intomainrems-project/archsem:mainfrom

clirems-project/archsem:cliCopy head branch name to clipboard