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.