Added argumentation encodings

for stable complete admissible and preferred semantics.
Renamed argumentation encodings

according to used naming scheme
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
Added option handling basics
Some more option handling stuff
Instance (hypergraph) is now parsed
Separating SHARP from D-FLAT. Now SHARP is used (without any special extensions) as an external library merely for decomposition
Changed extension header file generated by bison from .h to .hpp because FindBISON.cmake expects it to be that way. This avoids recompilation of the parser every time.
Removed obsolete comment
Now requiring C++11. And some changes to the Decomposition class.
Removed files from older D-FLAT version. The functionality will be reconstructed over time.
Fixed bug that in using the return value of parser::Driver::parse() that led to segfaults
Integrated SHARP as a tree decomposer and implemented printing of decompositions.
Used C++11's ranged-based for loops where applicable
Adapted code to work with the (forecoming) SHARP 1.1 release
Fixed bug that subclasses of Module did not call Module::select() in select()
Tree decomposer now allows to select elimination ordering for bucket elimination
Directory build/*/parser no longer needed.
Added override keyword