minibar: word-for-word replacement (experimental)

The new functionality also needs some new PGF service functionality, which will
be provided in a separate patch.

src/www/minibar/minibar_online.js

@@ -8,13 +8,15 @@ var online_options={
 }
 
 var minibar_options= {
-  show_abstract: true,
-  show_trees: true,
-  tree_img_format: "png", // or "svg"
-  show_grouped_translations: false,
-  default_source_language: "Eng",
-//feedback_url: "feedback.html",
-  try_google: true
+    show_abstract: true,
+    show_trees: true,
+    tree_img_format: "png", // or "svg"
+    show_grouped_translations: false,
+    show_brackets: true,
+    word_replacements: true,
+    default_source_language: "Eng",
+    //feedback_url: "feedback.html",
+    try_google: true
 }
 
 if(/^\?\/tmp\//.test(location.search)) {