Makefile: optionally skip build for ivory/tower.
Makefile: cleanups, add model-checking to build.
Update Makefile.
update submodules (ivory-rtverification, smaccmpilot-stm32f4).