Improvements to the dev_workstation installation script