Copy external images to doc/media/ folder

be able to build the doc offline.

Author: reznikmm

doc/Custom-colors-in-VS-Code.md

@@ -13,7 +13,7 @@ In addition to semantic highlighting, users can customize syntax highlighting fo
 
 You can use the [Developer: Inspect editor tokens and scopes](https://www.youtube.com/watch?v=mC_htrJ1QPg&ab_channel=Code2020) command to know the scope of a given token (see the screenshot below). 
 
-<img src="media/inspect-tokens.png" width="400" />
+![inspect-tokens](media/inspect-tokens.png)
 
 You can also find more documentation about TextMat scopes [here](https://macromates.com/manual/en/language_grammars).
 

doc/Getting-Started.md

@@ -66,7 +66,7 @@ recommended to create a project file even for the simplest Ada project.
 In the File Explorer title bar, select **New File** and name the file
 `hello_world.gpr`.
 
-![New File button](https://code.visualstudio.com/assets/docs/cpp/msvc/new-file-button.png)
+![New File button](media/new-file-button.png)
 
 Paste in the following source code:
 

doc/Working-on-a-remote-machine.md

@@ -33,13 +33,13 @@ To do that, open the `Remote Explorer` view and click on the toolbar `Configure`
 
 After saving your SSH configuration file, you should now see all the servers in the `Remote Explorer` view.
 
-<img width="387" src="media/remote-explorer.png">
+![remote-explorer](media/remote-explorer.png)
 
 ## Connect to a remote machine
 
 Just click on the `Connect to Host in New Window` to connect to the server of your choice. If a passphrase is needed, VS Code will ask for it via an input dialog. You can avoid typing your passphrase each time by following the instructions described [here](https://www.thegeekdiary.com/how-to-avoid-ssh-from-prompting-key-passphrase-for-passwordless-logins/).
 
-<img width="669" src="media/connect-host.png">
+![connect-host](media/connect-host.png)
 
 Once you are connected, you will be able to open the workspace or folder of your choice and develop as if you were running VS Code locally.
 

doc/conf.py

@@ -22,6 +22,7 @@
     "Thumbs.db",
     ".DS_Store",
     "gitpod.md",
+    "devel/*",
 ]
 
 # -- Options for HTML output -------------------------------------------------