Use terminfo for ANSI colors in bash prompt
Move bash prompt scripts out of profile

The bash profile is executed only once and for non-interactive shells,
so we need to execute bash prompt settings as part of the bashrc
whenever an interactive shell is started.