Documented the new Dump Server#9783

javiereguiluz wants to merge 2 commits intosymfony:4.1symfony/symfony-docs:4.1from

javiereguiluz:fix_9474javiereguiluz/symfony-docs:fix_9474Copy head branch name to clipboard