Features:
- improved overall GDB python pretty printer code
- now multiplatform (verified on some)
- created some sort of a CI process to check we did not mess up with features:
- checks that the pretty printer output matches the json.dump() output.
- checks various GDB releases (>7.12) + python versions (2 & 3) on Ubuntu x64
- also checks on windows server x64 (but only the gnat community GDB version obtained with chocolatey)
- checks at home on raspi arm 32b
- checks at home on win10 x64