This script no longer works - the github.com/cdr/code-server no longer hosts binaries. Instead they have a build script in the .MD file