Merge pull request #380 from ojiikun/master

Android: Fix disappearing padding on coloured tags.
Fixing disappearing search field.
Adding tag search.
Adding search to keyboard shortcuts dialog.
Fixing overflow wrapping on commenter avatars on sharebar on web.
Fixing vertical/west story titles pane's positioning for search bar.
Correcting another positioning mistaken on vertical web story titles.
Fixing narrow width bug for vertical/west story titles pane.
Fixing narrow bug for vertical/west story titles pane on web.
Better position of Hidden Story Titles button for vertical story titles pane.
Fixing login and show hidden story titles.
Fixing hidden story titles button in vertical story titles on folder.
Adding haproxy check.
Adding haproxy exception for health check.
Adding nginx haproxy health check.
Adding nginx health check. Fixing ssh keys.
Fixing redis/mongo logging accidentally duping logs on fast requests.
Fixing a couple speed issues on ios when syncing stories.
Pushing out 2.5.0 android release.
Fixing slow-loading bug on offline ios when loading offline stories in big folders.