better heuristic for sokoban.
 - formerly just "number of holes without boxes on them"
 - now, use sum of manhattan distances of each hole to its nearest box
 - "prune" states with trapped boxes by giving them h = infinity