Merge pull request #42 from homul/master

update COMBILP
debuging CombiLP
final bugfix combilp
uncomment TRWS debug output
Merge pull request #163 from joergkappes/master

bugfixes combilp
merging of CombiLP done