bashrc: - break up into sections
- clean up ANSI codes
- introduce bashrc.user for machine-specific stuff