Make add-extra-doc! save the original doc strings

so that one can apply add-extra-doc! multiple times, and it will not
repeatedly append more things each time, but always start from the
original doc string, and append to that.