Update environment-setup.html

Add reference to sourceforge