docs: update server documentation

This MR updates documentation about connecting the VS Code server to the WebIDE. It also fixes a small issue with the hardcoded commit that I found when manually testing the process described in the docs.