add -name and -pool options to condor_history man page for #3897