Add cbmc-reporter, simple-spreadsheet-tools as submodules.
Makefile: update to correct paths for hwf4-wrapper.
Update submodules (ivory, smaccmpilot-stm32f4, tower).