A JSON to CSV converter in Python