Increase bash history size to 5000