implement save_history()

This allows to save in your ~/.bash_history file
the different files you opened

This is cool with the following function in your bashrc:

function ngp () {
        /usr/local/bin/ngp $* && history -r ~/.bash_history
}