Add titles to doc pages.
Add directions on how to upgrade gitlab-shell in the upgrader guide.
Revert "Actually use the 'user_filter' configuration option"

This reverts commit e9d4587ff11c8510f01dfa184414f73d75b4550b, which is
incompatible with GitLab's built in LDAP user filter: a GitLab LDAP
filter is [added on top of the other filters used to find the
user](https://gitlab.com/gitlab-org/gitlab-ce/blob/982d4d51e8110bec280eb00db0fb756b062103d9/lib/gitlab/ldap/adapter.rb#L61)

Example GitLab LDAP filter: `(memberOf=cn=foo,dc=bar)`.

In contrast, an omniauth-ldap filter [replaces the 'normal'
filters](https://gitlab.com/gitlab-org/omniauth-ldap/blob/76d77543dec0c585bb4e974262f43675f9810953/lib/omniauth/strategies/ldap.rb#L55)

Example omniauth-ldap user filter:
`(&(uid=%{username})(memberOf=cn=foo,dc=bar))`.
Fix typo in text.
Merge branch 'ldap_user_filter_fix' into 'master'

LDAP user filter fix
Merge branch 'add_titles_to_help_pages' into 'master'

Add titles to help pages

Fixes #1183
Merge branch 'gitlab_shell_in_upgrader_guide' into 'master'

Gitlab shell in upgrader guide

Fixes #1214