Remove starter-kit and Litani submodules

Author: angelonakos

.gitmodules

@@ -1,15 +1,7 @@
-[submodule "test/cbmc/aws-templates-for-cbmc-proofs"]
-	path = test/cbmc/aws-templates-for-cbmc-proofs
-	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
-	update = none
 [submodule "test/unit-test/CMock"]
 	path = test/unit-test/CMock
 	url = https://github.com/ThrowTheSwitch/CMock.git
 	update = none
-[submodule "test/cbmc/litani"]
-	path = test/cbmc/litani
-	url = https://github.com/awslabs/aws-build-accumulator
-	update = none
 [submodule "source/dependency/3rdparty/llhttp"]
 	path = source/dependency/3rdparty/llhttp
 	url = https://github.com/nodejs/llhttp.git

test/cbmc/aws-templates-for-cbmc-proofs

@@ -15,7 +15,7 @@ COMPILE_FLAGS += -fPIC
 COMPILE_FLAGS += -std=gnu90
 
 # Path to litani executable, used for running proofs and displaying report
-LITANI ?= $(SRCDIR)/test/cbmc/litani/litani
+LITANI ?= litani
 PROJECT_NAME = "FreeRTOS coreHTTP"
 
 # Flags to pass to goto-cc for linking (typically those passed to gcc)