KT-4854: Inspection to detect redundant type arguments

inspection to report on function calls where the type arguments can be automatically inferred
http://youtrack.jetbrains.com/issue/KT-4854