Remove modified zipped caravel.mag
diff --git a/mag/caravel.mag.gz b/mag/caravel.mag.gz
deleted file mode 100644
index 848d7c4..0000000
--- a/mag/caravel.mag.gz
+++ /dev/null
Binary files differ