RIP, Mike Nichols and His Dangerously Stylish Mrs. Robinson