Fixed static linking to enable profiling of Example/cprover/* using gperftools cpuprofiler
Removed bdd dumping code from NewtonCompare:goals::runNwpds