Merge pull request #3930 from rochefort/fix-is_robot

[ci skip] Fix Ask Jeeves user-agent string