Add caravel as submodule
diff --git a/caravel b/caravel new file mode 160000 index 0000000..0f16ba8 --- /dev/null +++ b/caravel
@@ -0,0 +1 @@ +Subproject commit 0f16ba8eaae841a6f122fc0d5837005d3312fd2b
