Adding test for symbolic backend.
Fixing NullPointerException in symbolic backend.
Fixing the symbolic backend: require --backend symbolic for krun; fixed the smt solver (missing) call.
Added a regression test for the symbolic backend, which tests all its important features.
Added copyright forms.
Fixed messed up configuration file: wrong arguments for programs and results dirs.
Changed definition for test. Renamed symbolic-kompile dir to test1.
Use the MaudeBackend instead of SymbolicBackend.
Use regex to match program output
Forgot reference to unexistent package.
fix binary parser for krun
fix copyright
fix copyright casing
fix test xml
Fixing the -d issue and added regex attribute
fix race condition with StringMatcher
Merge pull request #390 from dwightguth/race

fix race condition with StringMatcher
Merge pull request #388 from dwightguth/binaryparser

fix binary parser for krun
fix another kast regression and add test
get back old ktest output mismatch error reporting (was chaged with #356)