doctor: be more helpful with suggestion about PATH

- Show a possible line to be added to the end
  of the user's ~/.bash_profile.