[jsword-devel] Index installation

[Joe Walker]

Hi,

Changes that I'm checking in to allow index downloading:
- renamed Installer.reloadIndex() to reloadBookList()
  because it had nothing to do with search indexes
- added downloadSearchIndex(BookMetaData, URL)
  and inplemented it in the http and ftp installers
- added installDownloadedIndex(Book, URL) to IndexManager
- created IndexResolver to ask the user how to get an index
  and to to the relevant generate / download
- turned InstallManagerListModel into
  InstallManagerComboBoxModel
- added utility methods to NetUtil to handle temp files

Currently when you click select to download an index it tries and
fails, and then asks you if you wish to generate anyway.

Joe.