patch 8.1.0713: images for NSIS take up too much space

Problem:    Images for NSIS take up too much space.
Solution:   Put the images in a zip file.

src/version.c

@@ -799,6 +799,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    713,
 /**/
     712,
 /**/