Utility for invoking the proper GDB and loading Pintos macros.