smaccmpilot.cabal: merge.
ivory build: replace build.sh with make rules and integrate with top-level makefile.
image: use clean instead of extra-clean.
ignore REQUIRES and ASSERTS in Ivory-generated code.
smaccmpilot ivory: new ivory-generated C code.
cbmc: add verify target.