bashrc: Add my settings for HISTFILEs