Increase size of Bash history to 3000 commands