changed from localhost to docs.sourcegraph.com

Created by: Wikunia

changed some links in dev/background-information/codeintel/extensions.md to point to the actual documentation