bashrc: preserve bash history in multiple terminal windows