Add colordiff config
Add facility to instrument .bash_profile one include instead of maintaining it directly here
Fix complaint when StripEolWhitespace() has no work to do.