add Thorsten's instances to big testset
fix coverity bug in ex5
fix bug in Makefile
change README according to changes in Makefile
change executed binary in check script
added comments and newlines at end of file
Merge remote-tracking branch 'upstream/master'
Merge pull request #71 from bzfoltho/master

bug fixes and more comments