Fix insufficient character decoding in Web.decode_jwt
Imported from https://youtrack.roxen.com/issue/PIKE-76
Reported by Martin Karlgren marty@roxen.com
Blocking PIKE-237
Web.decode_jwt
doesn't seem to decode UTF-8 characters correctly. Web.decode_jws
should probably use Standards.JSON.decode_utf8
.