add option to not add Jalangi code to HTML files