Update html10n.js to correctly use the console.log shim

fixes #1724