bashrc: replace prependPath with a more generally useful prepend/append that ensures the path is first/last
bashrc: update PATH