bashrc: DRY function `add-to-path`