Ignore condor_ping in .gitignore #3254