(tex-region): Correctly handle possible overlap between first line, header, and region. New local var ALREADY-OUTPUT makes this general. Write tex-trailer directly as a string; get rid of temp-buffer. Make tex-out-file include the .tex suffix.