remove instance of 'the the' in various places
when extension not found, offer to take user to extension downloads page

closes #328
Merge remote-tracking branch 'origin/5.0.x'

Conflicts:
	src/main/org/nlogo/agent/AgentSet.java
whoops, make file name match class name