Revert commit of MinFill which will be implemented in a separate branch
Delete duplicate definition of class DNNFParser
Implement Solver-Wrapper for MinisatJava + some refactoring
Fix renaming of MinisatJava
Merge branch 'dnnf' into dnnf-optimize