ktest: don't generate same PDFs multiple times
remove temp directory .k
Merge pull request #964 from osa1/ktest-elim-dup-pdfs

ktest: don't generate duplicate PDF files. kompile: remove .k