compiles with
export CXXFLAGS='-std=gnu++0x' before configure
fails all regressions in the parser
changing string hash function to use the gnu namespace
due to namesapce resolution std namespace was used instead, which hashes the string pointers leading to mayhem
Merge remote-tracking branch 'dddejan/c++11'

Conflicts:
	src/smt/boolean_terms.cpp
Fix bug in portfolio executor output; fixes nightly portfolio-checking runs.