gawkだけでurlエンコードできますか？