changed astar-search-updating to astar-search
moved batch-do to timing.clj, which has a new batch-solving suite