This also documents how to build dedicated server binaries.
The part about compiling will need to be updated for Godot 4.0
once the server platform is usable again.
This also removes prompts before commands so that they can be
copy-pasted by triple-clicking without selecting the prompt.
When working on the editor itself, using separate configuration
is sometimes desired to avoid conflicts or accidentally losing
settings.
This closes https://github.com/godotengine/godot/issues/21567.
