benchmark(bing_example): update Makefile to use simple-bmc, update result.org
fix(tools/simple-bmc): fix drh parser
checkpoint