Improve development environment setup instructions
We currently indicate at the end that using a recent version of the Eclipse Installer can resolve issues. This should be mentioned in the steps. Always use the latest Eclipse Installer, either by downloading it again, or by updating your existing one (and explain how).