bashrc: add diffu function