KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair