Automatically Encoding, Modifying, and Finding Robot Skills to Repair High-Level Tasks