New flag -ts for TypeScript output, which is in fact identical to the
JavaScript output. The JavaScript code is now generated in a way that
makes it compatible with TypeScript.