Support isinstance with a tuple of types

[JukkaL]

If the second argument to isinstance is a tuple, the inferred type for the first argument should be a union.

Example:

x = 1  # type: object
if isinstance(x, (int, str)):
    # type of x is Union[int, str] here    
    ...

[JukkaL]

This works now.