Text this: Mike Nichols : a life