.bashrc: Add the persistent history mechanism