The app uses a recognizable user-agent when fetching feeds.

Besides making the app known to webmasters, this fixes a problem with some feeds that return a 403 error if we try to fetch them without sending a user-agent header (they seem to be satisfied by any value as long as the header isn't blank).