Add option to change server data directory

[MatthewCash]

This adds the remote.SSH.serverDataFolder option to choose an alternative server data directory. Instead of being hardcoded to something like ~/.vscodium-server, it can be placed somewhere else such as in ~/.config. $HOME is prepended to any relative paths.