RIP Mike Nichols. Masterful and treasured television, stage and film director, writer, producer and comedian, 1931 – 2014