KT-4567: Inspection to detect negations that can be simplified 

issue: http://youtrack.jetbrains.com/issue/KT-4567

Since the last pull from master I have lot's of failing tests (hundreds) so I couldn't run all tests, but this seems to work as far as the inspection tests go. 
As soon as I'll resolve my other issue I'll run all tests as well