json
Use deterministic reproducible splits

Also improves the way DiCo paths are stored.