benchmark(hybrid_systems): use simple-bmc scripts instead of old bmc
Xbenchmark(bing_example): update Makefile to use simple-bmc, update result.org
checkpoint