日本の郵便番号(addr:postalcode)から住所に変換するJOSMプラグイン