Update get_isi_abbreviations.sh

The link is gone! An update will be welcome.