use simplejson in python 2.5