Move common code to diffdraw.js. Make draw_grid_lines return the lines
Generalize the make_callback thingy to animate_sequence. Make draw_grid_lines return an object of down lines and right lines