Initial commit of Z3 model integration.
Add file read/write documentation
KTEST: Revert local config.xml's
KTEST: Apply new policy of include
added some more example programs to exercises
KTEST: Support new feature: more-programs, more-results (Issue #134)
KTEST: Support new feature: exclude
KTEST: Generate in a canonical path
KTEST: Bugfix more-programs/more-result
KTEST: bugfix of local config.xml file
KTEST: Error handling: invalid included config.xml file
KTEST: Fix missing config.xml filename
KTEST: bugfix: make program's name attribute be canonical
revised licence, readme and install files
KTEST: Update test.issue.err
Add a document of ktest include feature written by Grigore Rosu
Merge branch 'work'
fixed a priority problem in lambda++, lesson 6
changed all config2.xml to config.xml for 1_lambda
KTEST: Validate config.xml files against the schema lib/ktest.xsd (Issue #95, #115)