Make Ice 3.5.1 default version
Use new latest/product5.1 redirects across the board
Merge pull request #943 from hflynn/ice-version

Make Ice 3.5.1 default version
Merge pull request #944 from sbesson/latest_redirect_5.1

Use new latest/product5.1 redirects across the board