.bashrc: add some new aliases.