JSON minifier based on python -mjson.tool script