minibar: rewrite minibar.js in a more idiomatic JS OOP style

This provides easier access to minibar internals for people who want to extend
it, but probably also reveals too much of the internal machinery...

src/runtime/javascript/minibar/minibar.html

@@ -27,7 +27,7 @@ This page doesn't works unless JavaScript is enabled.
 &amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
 </small>
 <small class=modtime>
-HTML <!-- hhmts start --> Last modified: Tue Oct 26 14:40:33 CEST 2010 <!-- hhmts end -->
+HTML <!-- hhmts start --> Last modified: Wed Dec  1 17:36:24 CET 2010 <!-- hhmts end -->
 </small>
 <address>
 <a href="http://www.cs.chalmers.se/~hallgren/">TH</a>
@@ -51,9 +51,8 @@ var minibar_options= {
   default_source_language: "Eng",
   try_google: true
 }
-start_minibar(server,minibar_options,"minibar1");
+var minibar=new Minibar(server,minibar_options,"minibar1");
 
 </script>
-
 </body>
 </html>