NPR taps former Wikipedia chief as new CEO.