Bash profile, with green + blue prompt coloring