mjlog2json query scripts