pull newer caravel version
diff --git a/caravel b/caravel
index f80b2fe..254543e 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit f80b2fea4aa53d68baec2160f6640b9e3b8d86e5
+Subproject commit 254543ed8ce7a337dbe889b8f720900662c367b8