patch 8.2.5031: cannot easily run the benchmarks

Problem:    Cannot easily run the benchmarks.
Solution:   Have "make benchmark" in the src directory work.

src/version.c

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