Release v2. Major overhaul of reducer - full C parsing is done within python, CPAchecker is only required for witness2test
