Microsoft adds option to disable JScript in Internet Explorer