Increase Bash history size and share history across sessions