BASH: Colored shell prompt