Adding story_hash to starred stories, user stories, and shared stories.
Fixing story hash migration to run by user.
Merge branch 'story_hash_1'

* story_hash_1:
  Fixing story hash migration to run by user.
  Adding story_hash to starred stories, user stories, and shared stories.
Switching to real prod database for migration.
newline at end of readme
README.md typo fixes
Merge pull request #225 from ojiikun/master

Android: Fix duplicate appearance of All Stories heading
Merge pull request #226 from brainwane/master

Typofixes in README
Upping ulimit file descriptor limits.
Fixing Underscore in bookmarklet to handle sites with window.exports functionality, which breaks _. Thanks to @kyleniemeyer for finding the bug.
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.
Refactor/fix mark-as-read-while-reading workflow.