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
reenable some regression tests (currently failing)