Finally in a stable state. EXE's have to be added to Resources/ACL2Modules, but other than that, it works with the batch files.