Fix bug in paths replacement for search js

For production pipeline, paths to js and json files are set wrongly: leading // instead of /.

Fix that.

---

Don't forget:

• revert e8f70aac, i.e. re-add search symbol, once working.

search.json

@@ -10,7 +10,7 @@
     {
 
       "title"    : "{{ post.title | escape }}",
-      "url"      : "{{ baseurl }}{{ post.url }}",
+      "url"      : "{{ base_url }}{{ post.url }}",
       "category" : "{{ post.category }}",
       "tags"     : "{{ post.tags | join: ', ' }}",
       "date"     : "{{ post.date }}",
@@ -25,7 +25,7 @@
         "title"    : "{{ page.title | escape }}",
         "category" : "{{ page.category }}",
         "tags"     : "{{ page.tags | join: ', ' }}",
-        "url"      : "{{ baseurl }}{{ page.url }}",
+        "url"      : "{{ base_url }}{{ page.url }}",
         "date"     : "{{ page.date }}",
         "content"  : "{{ page.content | strip_html | strip_newlines | remove_chars | escape }}"
      {% endif %}