Add a facility for adding directory to user PATH

* Method to add to user's .bashrc PATH. Avoiding duplication
* Add some related small tests