Add .tex files for the TUF spec documents.