A python script that minifies JSON