export_json.py: flatten rlp (coordinates) array
export_json.py: flatten rlp (coordinates) array

to make downloading and reading the file slightly faster

dials/dials,dials/dials,dials/dials,dials/dials,dials/dials