Removed profiling test.

Was very outdated.
Started a minesweeper BAT.
Kitchen BAT now has five objects but only one location.
Changed kitchen BAT for demo.

Performance is very bad.
The resulting setups are huge and grow linearly in the number of
actions, and query evaluation seems to grow quadratically in the size
of the setup.

The split optimizations in setup are still worth their cost (replacing
setup_clause_small_pel() with setup_full_pel() costs about 20% and
removing the expensive part of setup_relevant_split() costs 1000%).
Fixed: setup_relevant_split() checked wrong clause's size.

A clause's literal is relevant if the clause's size is <= k, but we
checked whether the query's size is <= k.
Fixed: proper+ compiler generated double clauses in code.
Merge branch 'master' into pr2
Missing include paths for cmake.
Added super-hacky query_assert().

Also made an ECLiPSe-CLP predicate.

Predicates and standard names may now be declared through pred_symbol/1
and sort_name/2 (second parameter). (Because in case of an empty BAT,
the proper+ compiler otherwise wouldn't gernate the declarations.)