bashrc: preserve history in multiple terminal windows