bashrc: rename stablerm -> stable_rm

To follow the others.