Sets kinds documentation
Renaming of SMT2 operator names, kinds for set theory

* SET_SINGLETON kind renamed to just SINGLETON
* "setenum" smt2 opertor renamed to "singleton"[1]
* "in" smt2 operator renamed to "member"[2]

[1] It was anyhow accepting exactly one argument, so was bit misleading
    to call set enumerator.

[2] The corresponding kind was called MEMBER, so this will also make them
    consistent. Only inconsistency now is for subset: kind is called
    SUBSET but operator is called "subseteq".
BinaryHeap unit test and some usability/build fixes for the data structure itself.
rename subseteq to subset in smtlib, all kinds and smt operator names are now consistent
make emptyset construction with no arguments private
mv default care graph function inside the theory implementation
cosmetic
fix sets eager lemmas
Turn strings-exp off by default (for the release)
sets api example
Updated run script for QF_ABV
Fix for bug543
Another fix for 32-bit (amends commit b825605).
Fix bug in datatypes options specification
Automatically make SMT options from command-line option names, warn when not possible.
sets: "insert" operator

new™! support for (insert (X (Set X)) (Set X) :right-associative)
from the finte sets theory prosoal.

e.g., (insert 1 2 3 4 (singleton 5))
Use FS as the set-logic string for theory of sets
Merge pull request #47 from kbansal/sets

Sets theory operators in SMTLIB2 and kinds to use from API have changed. They now are:

SMTLIB: emptyset, singleton*, insert*, union, intersection, setminus, member*, subset*
API: EMPTYSET, SINGLETON*, INSERT*, UNION, INTERSECTION, SETMINUS, MEMBER, SUBSET

(those marked with [*] have changed or been added, others are as earlier)

In the set-logic string use FS to enable sets.

A not-so-well-tested perl command for translating old benchmarks:
  perl -pi -e 's/\(set-logic (.+)_SETS\)/\(set-logic \1FS\)/; s/\(in\b/\(member/g; s/\(setenum\b/\(singleton/g; s/\(subseteq\b/\(subset/g; '
Update NEWS
Merge pull request #45 from mdeters/turn-off-strings-exp

Turn strings-exp off by default (for the release)