.bashrc: Use different history file for each host.