Select compact encoding to Json file

This makes quite a difference in file size for a large domain. For
example, the size of `Global_1993_2023/Graph_anti/expanded_traj.json`
is reduced from 0.6 to 0.3 GiB. We do not need pretty display for
these files.