download WordNet on demand

... hoping that the NLTK folks fix their server.