Remove gdb pretty printing.

This will be provided in a separate branch.