Add generated_facts flag and list of matches created for each vm::state.
Merge branch 'dev' of github.com:flavioc/meld into flavio-dev
Unfold send instructions.
Merge branch 'dev' of github.com:flavioc/meld into flavio-dev

Conflicts:
	vm/exec.cpp