Added STL pretty printer for GDB.