Added display of time to bash prompt.