Change User-Agent to make ycombinator.com happy.

Fixes #23.