update TestPlugin
update benchmark scripts
Merge branch 'master' of https://github.com/hexhex/core
update benchmark script
update benchmark script
add installation hints for OS X
update README
update doc
update doc
recover accidentally deleted files
add logo
update dlvhex-common
update job file generation
update job generation file
update setminus benchmark
prepare dlvhex core for repair model generator
Merge branch 'master' of https://github.com/hexhex/core
Repair model generator is added (files src/RepairModelGenerator.cpp and include/RepairModelGenerator.h).
Respective neccessary changes are done in dlvhex.cpp and EvalGraphBuilder.cpp.
Merge branch 'master' of https://github.com/hexhex/core

Conflicts:
	src/dlvhex.cpp
Repair model builder is added.