JsInline: added class JsInliner
JsInline: use JsInliner in InlinedCallExpressionTranslator
JsInline: added argument aliasing to JsInliner
JsInline: added class CloningVisitor
JsInline: added class RenamingVisitor
JsInline: rename inlined function parameters
JsInline: changed argument aliasing -- declare fresh name, not temporary
JsInline: add label to inlined blody