kframework/k — pull request #1063 by osa1 (2014-10-12 10:27:38+00:00)
Title: Kompile temp dirs

Resolves #1059 at the cost of more verbose messages in ktest output since we run everything using --debug now.