Extra utilities for improving the user interface of gdb-mi.el.