Tools for preserving bash/zsh history across reboots, using tmux