Add testq (test quiet) target for testing programs without output from krun.
Add testq (test quiet) target for testing programs without output from krun.

kframework/llvm-semantics-old,davidlazar/llvm-semantics