Redirect old eclipse update URL to dev channel.
Merge pull request #269 from mkustermann/eclipse-update-redirect

Redirect old eclipse update URL to dev channel.