Added instance generators for argumentation

Generate grid- or clique-based graphs with a fixed (theoretical) tree-width.
additionally supports random graphs
Added encodings and generator for belief revision

Dalal and Satoh operator implementations for D-FLAT