Debug/NuttX: small changes to make it work with the current stable branch. Debug/NuttX made existing code work with python3 in gdb. Added some new features
Merge branch 'master' of https://github.com/mazahner/Firmware