html から半角空白を適宜取り除くプログラムを作った

Pandoc から xml や html を出力すると不要な半角空白が生じてしまう。これを取り除くプログラムを作った。日本語の文章を書くときに重宝するだろう。