BenchExec 0.4

• Support for integrating SMTLib 2 compliant SMT solvers and checking the expected output.
• runexec now supports Python 2 again.
• table-generator allows to selected desired output formats and supports output to stdout.
• Added utility command for checking if cgroups have been set up correctly.
• Avoid "false posititive/negative" and use "incorrect false/true" instead.
• Command-line arguments to all tools can be read from a file given with prefix "@".
• Bug fixes and performance improvements.