patch 8.0.0791: terminal colors depend on the system

Problem:    Terminal colors depend on the system.
Solution:   Use the highlight color lookup tables.
diff --git a/src/version.c b/src/version.c
index e44778c..350897b 100644
--- a/src/version.c
+++ b/src/version.c
@@ -770,6 +770,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    791,
+/**/
     790,
 /**/
     789,