gdbhooks.py: Implement a prettyprinter for vec<>*