GDB Pretty Printers for Boost