Increase bash history size

Change-Id: Ib23ad3f75d92da7066239a4621d63df92b8a2395