Make Ice 3.5.1 default version
Merge pull request #943 from hflynn/ice-version

Make Ice 3.5.1 default version