ignore failing test in typechecker test suite
adding testcase for sven: alternative type definition, optional statement
starting to fix {} problematic
remove junit_xml_listener
remove files for other case studies
first try: faster pretty printer, which uses less memory
adding large test file for pretty printer test
move from kiama library version 1.1.0 to version 1.2.0; reason is to fix an unavailable dependency to scalatest 2.9.0-1.9, which is not available anymore
add junitxml test listener; necessary for jenkins
adding dependency for junitxml test listener
Revert "first try: faster pretty printer, which uses less memory"

This reverts commit a55f81abf9cb44784ab4162428204f28570e078f.
merge cleanup and resolve kiama upgrade issues
prepare typechef for openssl case study
comment conditionalexpr support out
add openssl case study to product generation
adding function to load new henard product configurations
code for parsing new henard product configuration files
root of AST = tUnit (Translation Unit) -> Constructor parameter
small improvements
Merge branch 'tcLiveness' into ide
Heros instead of Soot