Fixing #377. Killing XSS attacks by sanitizing feed titles.
Fixing mistakenly unread stories while searching.
Adding logging.
More logging.
Fix disappearing padding on coloured tags.
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.