Helper script to automatically synchronize Bash shell history and remember it forever