Add schools layer to etymology theme

Many schools are named after interesting things, so this should be added to the etymology theme.

assets/themes/etymology.json

@@ -90,7 +90,32 @@
           }
         }
       }
+    },
+    {
+      "builtin": "etymology",
+      "override": {
+        "id": "education_institutions_without_etymology",
+        "name": {
+          "en": "Education institutions without etymology information",
+        },
+        "minzoom": 18,
+        "source": {
+          "osmTags": {
+            "and": [
+              "name~*",
+              {
+                "or": [
+                  "amenity=school",
+                  "amenity=kindergarten",
+                  "amenity=university",
+                  "amenity=college"
+                ]
+              }
+            ]
+          }
+        }
+      }
     }
   ],
   "hideFromOverview": false
-}
+}