Dartmouth researchers are working on variants of diff and grep that can parse more complex data structures