lib: jslint string_decoder.js