bashrc: add more useful functions and such