Humorists stuck a minor gold mine yesterday when Microsoft anointed Satya Nadella, a veteran company insider, as its new CEO, proving that funny can be found in the most unlikely places. …