Update local development docs
Update local development docs. Production installation docs have been moved to https://docs.gitlab.com/ee/user/workspace/set_up_workspaces_proxy.html . This MR removes all references to production installation and simplifies steps for local development.
Edited by Vishal Tak