Complete support for variadic arguments

[stheophil]

Currently, we generate only a single overload taking a single argument for a method with signature

interface Array {
    push(...args: string[]) : void;
}