This also makes the PARALLEL flag unnecessary. To do parallel build just
pass -j4 directly to make.

  - Add ENFORCES/ALLOWS to formula type
  - Add HCENFORCES/HCALLOWS to hcFormula_node type
  - Add EnforcesF/AllowsF to formulaType type
  - Add CoalitonLogic to the list of functors ("sorts")
  - Parse [{ }] and <{ }> terms
  - Do hashing of those
  - And decompose them and save list of agents as arrays

Note that it is not possible to split this commit into separate commits
such that the code in between these still compiles.

The rule creator for MultiModalKD does not do anything but calling the
one of MultiModalK.

Use -include directive to tell Make that Make itself has to create the
.depend file. Therefore, add a .depend target in addition to the phony
depend target.

Look for headers in . as well, just to make sure it works for those
having minisat-includes saved in the project directory.

Include minisat- and caml-includes via #include <..> to make their
location in the file system configurable

It contains the most current tarball created by the original author
Florian Widmann.