UF kinds documentation
Quantifiers kinds documentation
Datatypes kinds documentation
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".
Fixing a soundness bug in arithmetic and a roubustness problem in rings.
Fix header check for glpk.h.
Fixing a soundness bug in arithmetic and a roubustness problem in rings.
Alternative lazier heuristic for assertion rewriting.
Alternative lazier heuristic for assertion rewriting.
stack-size portfolio fix.  boost 1.50 now required
Don't allow libabc to load extensions at runtime.
Fix some #line annotations.
Stack-size portfolio fix.  If using Boost 1.50, --thread-stack=MB is now supported.
Fixing the previous bugfix.
Merge branch 'master' of github.com:CVC3/CVC4
Fixing the previous bugfix.
BinaryHeap unit test and some usability/build fixes for the data structure itself.
Merge pull request #43 from mdeters/threadstack

stack-size portfolio fix.  boost 1.50 now required

"The intended behavior is this. If Boost threading library is available and portfolio is requested, we do a try-link during configure that sees if we can set a thread attribute. If that compiles and links, we set a #define in cvc4autoconfig.h. There's a new option --thread-stack=N, with N given in megabytes. 0 is default for the platform (which can be based on ulimit I guess as I mentioned in an email). If --thread-stack=N is given to sequential CVC4, it's an error. If it's given to pcvc4 and N > 0 and there isn't support in that Boost version for it, it's an error."
rename subseteq to subset in smtlib, all kinds and smt operator names are now consistent