bash.bashrc: Removed extra addition of ~/bin to PATH
Merge branch 'master' into personal