Make Ice 3.5.1 default version

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