PuzzleBox pre-alpha: Graph Reduction Machine for LazyK

1. Run a sample program on the PuzzleBox Virtual Machine
1.1 Install requred packages
To execute PuzzleBox Virtual machine, following packages are required.

	SystemC 2.2
	Verilator 3.700
	CMUCL 19a

1.2 Compile PuzzleBox Virtual Machine

	% cd vm
	% (edit Makefile as you like :-)
	% make

1.3 Comple a sample LazyK code to a SKI combinator file

	% ../lazyc/compile.sh ../sample/fact.l fact.lz

1.4 Execute PuzzleBox Virtual Machine with a compiled source.

	% ./lazy fact.lz

Finally, the number "6" will be output as the result of (fact 3).
