Use "theme" program from Discount to generate README.html