NewtonCompare: Under goal #3, after doing path summary, dump the weight with environment.
BplToPds: Added remove_skip(prog*) to remove skips statements from the program.

May be called any time after the ast is generated. This will leave a single
skip statement in the if branch if that branch only has skip statements.
remove_skip: Also leave a single skip statement in an otherwise empty proc.
Merge branch 'nwa_detensor' into dump_weight_after_path_summary

Conflicts:
	Examples/cprover/NewtonCompare.cpp
Added ReadBddAndDetensor to race difference detensor implemenetations
Add a version of NwaToWPdsCalls that takes the output WPDS by reference.
Add Nwa::poststarViaFwpds to perform poststar by converting the nwa to an FWPDS

Beware that FWPDS are no reentrant right now. This means that if you already
have some fwpds lying around then the two fwpds objects might interfare.
Merge branch 'master' into nwa_detensor
Merge branch 'nwa_detensor' into dump_weight_after_path_summary
ReadBddAndDetensor: guard against reporting times when the program fails
Merge branch 'nwpdsExperimental' into dump_weight_after_path_summary