core: git rid of VariableContext, add a new keyword for semantic description **res**, continue to design symbolic API ; emul_interpreter: remove VariableContext related codes ; arch_x86: fix instructions semantic (untested)
core: remove dead code
Merge pull request #4 from wisk/dev

Dev