Rename optional to isoptional

This reflects the attribute name change made for Ice3.5
compatibility.
merge dev_4_4 -D org -I include -E exclude: PR 26 (Rename optional to isoptional)