REDO: Add -r option to darcs-all, and remove push-all (#3375)