Gastro: improve filter

gastro.json

@@ -35,6 +35,12 @@
         "markerSign": "{% if tags.amenity=='bar' %}🍸{% elseif tags.amenity=='biergarten'%}🍻{% elseif tags.amenity=='cafe' %}☕{% elseif tags.amenity=='fast_food' %}🍔{% elseif tags.amenity=='ice_cream' %}🍨{% elseif tags.amenity=='pub' %}🍺{% else %}🍴{% endif %}"
     },
     "filter": {
+        "name": {
+            "toCheck": [ "name", "operator", "amenity" ],
+            "name": "tag:name",
+            "type": "text",
+            "op": "strsearch"
+        },
         "amenity": {
             "type": "select",
             "values": [