minor #9817 Export workflow chart to SVG (analogic, javiereguiluz)

This PR was submitted for the 4.0 branch but it was merged into the 3.4 branch instead (closes #9817).

Discussion
----------

Export workflow chart to SVG

It should be encouraged to use SVG since SVG is better format suited for vector graphics and widely supported now.

<!--

If your pull request fixes a BUG, use the oldest maintained branch that contains
the bug (see https://symfony.com/roadmap for the list of maintained branches).

If your pull request documents a NEW FEATURE, use the same Symfony branch where
the feature was introduced (and `master` for features of unreleased versions).

-->

Commits
-------

c1fd166 Minor reword
7c26fe2 Export workflow chart to SVG

Author: javiereguiluz

workflow/dumping-workflows.rst

@@ -4,17 +4,20 @@
 How to Dump Workflows
 =====================
 
-To help you debug your workflows, you can dump a representation of your workflow with
-the use of a ``DumperInterface``. Use the ``GraphvizDumper`` to create a
-PNG image of the workflow defined above::
+To help you debug your workflows, you can dump a representation of your workflow
+with the use of a ``DumperInterface``. Use the ``GraphvizDumper`` to create a
+PNG or SVG image of the workflow defined above::
 
     // dump-graph.php
     $dumper = new GraphvizDumper();
     echo $dumper->dump($definition);
 
 .. code-block:: terminal
 
-    $ php dump-graph.php | dot -Tpng -o graph.png
+    $ php dump-graph.php | dot -Tsvg -o graph.svg
+
+    # run this command if you prefer PNG images:
+    # $ php dump-graph.php | dot -Tpng -o graph.png
 
 The result will look like this:
 
@@ -25,7 +28,7 @@ with the ``WorkflowDumpCommand``:
 
 .. code-block:: terminal
 
-    $ php bin/console workflow:dump name | dot -Tpng -o graph.png
+    $ php bin/console workflow:dump name | dot -Tsvg -o graph.svg
 
 .. note::