bump smaccmpilot submodule for cbmc building on jenkins.