Updating Android from v1.3 to v1.3.1, fixing duplicate All Site Stories bug.
Using new story_hashes instead of story object ids.
Using index in msharedstory search.
Fixing Global shared stories by checking for missing story hashes properly.
Another bug found by @kyleniemeyer's story. a - b was supposed to be b - a.
Force all feed queries to use redis.
Removing unused redis story objectid db.
Merge branch 'preshard'

* preshard:
  Removing unused redis story objectid db.
  Force all feed queries to use redis.
Change crossover to narrow view from 700 to 720px.
Merge pull request #228 from daanzu/master

Change crossover to narrow view from 700 to 720px.
Fixing issue where user agent doesn't exist.
Fixing bug in autocomplete returning lost feeds.
Using story cache when calculating unreads, for those who need unread counts updating.
Adding optional force param to sub counter.
Merge remote-tracking branch 'upstream/master' into storyorder
More chages to use StoryOrder for sort order when calling FeedProvider