gdb 7.0 added support for python pretty printers, libstdc++ provides
python pretty printers but they are not loaded by default on LinuxMint
18. Load them but only for this distro as upstream Debian enables them
by default and loading them multiple times will throw an exception.