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
Potential fix for bug 573.
Fix for 32-bit (esp. win32 failing build).
Merge pull request #46 from mdeters/bug573

Potential fix for bug 573.
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