bashrc: colors, history settings, etc.