jumpdir -- a heuristic directory navigation command for the Windows command shell