Reformat Debugger-vixl.cpp.