Remove redundant TCP includes in FreeRTOS CBMC proofs (FreeRTOS#1254)

* Remove unnecessary TCP includes

* Update comment

Author: moninom1

FreeRTOS/Test/CBMC/include/aws_freertos_ip_verification_access_ip_define.h

@@ -33,16 +33,6 @@
 #include "task.h"
 #include "semphr.h"
 
-/* FreeRTOS+TCP includes. */
-#include "FreeRTOS_IP.h"
-#include "FreeRTOS_Sockets.h"
-#include "FreeRTOS_IP_Private.h"
-#include "FreeRTOS_UDP_IP.h"
-#include "FreeRTOS_DNS.h"
-#include "FreeRTOS_DHCP.h"
-#include "NetworkBufferManagement.h"
-#include "NetworkInterface.h"
-
 /*
  * CBMC models a pointer as an object id and an offset into that
  * object.  The top bits of a pointer encode the object id and the