updated bashrc; store some PPAs