Adds local docker dev environment setup how-to guide to docs#5951

jpe442 wants to merge 2 commits intodevelopEnterpriseDB/docs:developfrom

DOCS-883EnterpriseDB/docs:DOCS-883Copy head branch name to clipboard