Kristen Nygaard hylles med Turing-prisen