Update download.html for 4.0

This commit changes the version variable to reflect the latest 4.0
release and modifies the url to account for the shift from geppetto/
to geppetto/4.x.