fixed bug with halt-p.  Changed equals-p to equalsp
printing search info now prints duration instead of starting and ending universal time.  Resolution is in seconds, which isn't enough.
added search limits to DFS