Reformat Debugger-vixl.h.