Added arm thumb decompiler code and link to a symbolic execution engine for x86