update addresses of submodules using SSH rather than HTTPS.
Add cbmc-reporter, simple-spreadsheet-tools as submodules.
bump submodules.