(webjump-url-encode): Fix for non-ASCII characters.