Add Virtual CLS and SECD machines
-rw-r--r-- 225 .gitignore
-rw-r--r-- 1059 LICENSE
-rw-r--r-- 842 machines.cabal
drwxr-xr-x - src