Don't add path to $PATH if it is already there
Don't add path to $PATH if it is already there

Whenever re-sourcing bash the same path would be added again. It wasn't
really a problem since it would find the right one anyway, but after a
while it did get noticably slower and this keeps the $PATH variable clean.

alcesleo/dotfiles,alcesleo/dotfiles