README setup-for-user.sh: this script create symbolic links inside user's HOME directory, thus each user's VSCode will automatically load the same extensions and settings.