make copyright header fit in 80 columns
tdebugbreak-gdb.py: support Thumb mode on ARM