even more changes to bash history mgmt

Now it keeps each session's history separate, while still de-duplicating
the main bash_history