Shorter and more colorful bash prompt
bash mods for working with mozilla-central