Fix set_osx_hostname arguments, made everything in prompt.sh use separator, add HighConstrast theme, don't set require password in osx.sh