Bash: different color prompts for OSX and linux

to save confuddlement