Fix some machine-code code for the new by
Fix some machine-code theories for pat_assum rename
tweak to SPEC definition, minor improvements to x86-86 model
rearranging files in examples/machine-code to separate decompiler from ISA models