added package dsharp

dsharp is a CNF to d-DNNF compiler