Better manipulation of bash PATH that also takes care of possible duplicate entries.