remove animation image links

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

Jars/Jars.mch

@@ -7,9 +7,6 @@ Input: one 3 gallon and one 5 gallon jug, and we need to measure precisely 4 gal
 */
 DEFINITIONS
   GOAL == (4:ran(level));
-  ANIMATION_IMG1 == "images/Filled.gif";
-  ANIMATION_IMG2 == "images/Empty.gif";
-  ANIMATION_IMG3 == "images/Void.gif";
   gmax == max(ran(maxf));
   ANIMATION_FUNCTION_DEFAULT == {r,c,i | c:Jars & r:1..gmax & i=3};
   ri == (gmax+1-r);