deleted caravel folder
diff --git a/caravel b/caravel
deleted file mode 160000
index 0321026..0000000
--- a/caravel
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 0321026c4dcf376ea67eef62c5c864c6897e1a56