Now passing the -x c++ option to GCC.
Merge branch 'minisat-2.2.0'