Bash: increase history size