Adds boxen stuff to bash_profile