Use alternate user agent for crawl.py to distinguish its requests from ping.py requests