patch 9.0.0704: CI runs "tiny" and "small" builds, which are the same

Problem:    CI runs "tiny" and "small" builds, which are the same.
Solution:   Remove the "small" build. (Naruhiko Nishino, closes #11315)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c988949..d92f6df 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,7 +33,7 @@
     strategy:
       fail-fast: false
       matrix:
-        features: [tiny, small, normal, huge]
+        features: [tiny, normal, huge]
         compiler: [clang, gcc]
         extra: [none]
         include:
@@ -125,7 +125,7 @@
           echo "TMPDIR=${{ runner.temp }}"
 
           case "${{ matrix.features }}" in
-          tiny|small)
+          tiny)
             echo "TEST=testtiny"
             if ${{ contains(matrix.extra, 'nogui') }}; then
               echo "CONFOPT=--disable-gui"
diff --git a/src/version.c b/src/version.c
index e08cf49..67bc7ff 100644
--- a/src/version.c
+++ b/src/version.c
@@ -700,6 +700,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    704,
+/**/
     703,
 /**/
     702,