remove simple spreadsheet tools submodule.
bump submodules.
removed cbmc-reporter submodule