Added make prove_notes to agda_change rule.