patch 8.0.0717: terminal feature precence unclear

Problem:    Terminal feature not included in :version output.
Solution:   Add +terminal or -terminal.
diff --git a/src/version.c b/src/version.c
index 09b3b85..7f4be7e 100644
--- a/src/version.c
+++ b/src/version.c
@@ -618,6 +618,11 @@
 #else
 	"-termguicolors",
 #endif
+#ifdef FEAT_TERMINAL
+	"+terminal",
+#else
+	"-terminal",
+#endif
 #if defined(UNIX)
 /* only Unix can have terminfo instead of termcap */
 # ifdef TERMINFO
@@ -765,6 +770,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    717,
+/**/
     716,
 /**/
     715,