doc: Update docs with 3.9.0 (!6102) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge doc/3.9.0 into master Oct 18, 2019

Created by: tsenart

Part of https://github.com/sourcegraph/sourcegraph/issues/5845