bashrc: set HISTSIZE and HISTFILESIZE