js/main.js: rename the global 'list' into 'list_clones'

There should be a better way to access this from segmenter.js

browser/js/main.js

@@ -73,7 +73,7 @@ window.onresize = function () { m.resize(); };
 /* views
  */
 var graph = new Graph("visu2",m);
-var list = new List("list", "data", m);
+var list_clones = new List("list", "data", m);
 var sp = new ScatterPlot("visu", m);
 var segment = new Segment("bot-container",m, CGI_ADDRESS);
 var builder = new Builder(m);

browser/js/segmenter.js

@@ -234,7 +234,7 @@ Segment.prototype = {
         var focus_selected = document.createElement('a');
         focus_selected.appendChild(document.createTextNode("(focus)"))
         focus_selected.className = "focus_selected"
-        focus_selected.onclick = function () { list.focus() }
+        focus_selected.onclick = function () { list_clones.focus() }
         div_stats.appendChild(focus_selected)
 
         div.appendChild(div_stats)