encoding.js: UTF8.decode: Fix RangeError with large enough strings.

See https://github.com/jsxgraph/jsxgraph/issues/50#issuecomment-27764272 for details.