renamed config2.xml to config.xml all over imp
modified config2.xml into config.xml all over lambda++
added local tests for imp++
changed main config.xml to include the ones for imp and lambda
new configuration files all over the tutorial
updated some configs
modified configs and outs
updated config files
KTEST: Bugfix: related with included <program> attribute
KTEST: krun option information on the verbose mode
fixed lots of .out files
Merge branch 'work'
Fixed search output bug for empty substituions
KTEST: Bugfix: ignore white spaces - include newlines
Added holzmann examples
Merge branch 'work'
KTEST: Ignore ANSI color codes
KTEST: Bugfix of the previous commit f829646618dc488d7fb4f93cadf366c735fb7f63
KTEST: minor change of verbose mode
KTEST: Modify local config.xml files