Added help info for the debugger
Add decoding+execution of THUMB.11 and THUMB.13