msp430 emulator for uctf (with remote GDB debugging, reverse debugging, and optional symbolic execution)