Add formalization PDF
Add Makefile and code snapshot
Fix reference to demo_exe make target
Update Makefile and README for latest stable targets for a fresh build; do not provide any generated code in the repository