kframework/k — pull request #562 by cos (2014-06-08 18:18:20+00:00)
Title: Made a quick-regression ktest, and added wiring xml

The test is a clone of kool-typed-dynamic:
- copied the kool-typed-dynamic definition and its programs, inputs, and outputs to /tests/regression/quick
- adapted its xml
- /tests/quick.xml is a shortcut wiring