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
Merge pull request #562 from kframework/quick-regression-ktest

Made a quick-regression ktest, and added wiring xml