Fresh Bash Profile

See the README for a description of the new gizmo.