Tool for internationalizing HTML files