Updated push logic to use jsontool (https://github.com/trentm/json).

This solves a problem with devices with names that have spaces and makes
the access of JSON object values easier, especially if PushBullet decides
to make "unpretty" the JSON returned from the API endpoints.
Added requirement for jsontool