Make Ice 3.5.1 default version (rebased onto dev_5_0)



This is the same as gh-943 but rebased onto dev_5_0.

----

See #938 - default ice version substituted from config is now 3.5.1