adding sanity check for the proper installation of CBMC
check the correct installation of cbmc
Merge remote-tracking branch 'origin/master'