Merge pull request #2607 from nlohmann/issue1952

Add GDB pretty printer