Added Django JSON encoder.