Add "numeric-increment" and "numeric-decrement" and deprecate "auto-increment" and "auto-decrement"
Add "numeric-increment" and "numeric-decrement" and deprecate "auto-increment" and "auto-decrement"

cpsolver/Dashrep-language,cpsolver/Dashrep-language,cpsolver/Dashrep-language