Resolve problem of jumping labels in case of display:'html'.
Reason: text.size == [0,0] after calling updateSize();
Merge branch 'master' of github.com:jsxgraph/jsxgraph