Make Ice 3.5.1 default version
Merge pull request #946 from hflynn/rebased/dev_5_0/ice-version

Make Ice 3.5.1 default version (rebased onto dev_5_0)