Download UnicodeData.txt if it doesn't exist already

This change modifies tools-index.py so that it downloads UnicodeData.txt via FTP if that file doesn't exist already.  With this change, there is no longer a need to include UnicodeData.txt in the repository.