cbmc: remove script.
add cbmc target to makefile.