bashrc: upgrade func:  menu() for choosing between recent history commands