Changes to condor_off (and other tools) to make it more tolerant of differing Name vs. Machine.  #3686