.bashrc: increase history size