Synset numbers not unique

tools/make-indexes.sh does not check uniqueness of Synset numbers, that may result in wrong indexes.