add instructions to migrate from `coder`, rename file to `code_server.md`

[GiorgioBrux]

Added instructions that explain how to migrate from the old coder role to the new code-server one. Also renamed the code-server.md file to code_server.md to be consistent with the names of other files.