Added support for the JsonTools.

https://bitbucket.org/denmiroch/jsontools/wiki/Home

Yes, yet another Json Editor plugin. I find it is more powerful than the supported two.