improved bash colors; other miscellany
Merge branch 'master' of https://github.com/fishyfriend/personal