.bashrc/screen: keep tracked of different screen bash histories in ~/.bash_history_files