Added user agent to spider.

It's a bit easier to tell where the requests are coming from on the live
site if we have a user agent.