added package dsharp

dsharp is a CNF to d-DNNF compiler
also version bumped swi-prolog.