.bashrc: increase history size to 10000 entires