Support for Boolean term conversion in datatypes.
Merge remote-tracking branch 'dddejan/c++11'

Conflicts:
	src/smt/boolean_terms.cpp
Fix bug in portfolio executor output; fixes nightly portfolio-checking runs.
finish removal of separateOutput
Merge pull request #7 from kbansal/portfolio

finish removal of separateOutput
Fix for SCM detection
java input stream adapters working
moving bv before arrays
Merge branch 'master' of git@github.com:CVC4/CVC4.git
adding
* getModelValue to valuation
* getModelValue to theory engine
* getModelValue to theory
implemented getModelValue in bitvector

the purpose of getModelValue is to ask for a concrete value of a shared term
getModelValue implementation in bitvectors
Make --incremental the default when running interactively
Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac
Merge branch 'master' into c++11