I'd like to merge in the patches from bug #513 and bug #640. This would
require that the scripting type 'stringList' is replaced by 'strings'. Both
represent std::vector<string>. stringList
as it was, was pretty useless, you couldn't construct one and the property
marshalling was broken too (iirc). strings is stringList done right, but with
a different name.

If no objections, it could go into the next bug-fix release of the
1.8 branch, since 1.10 is certainly not yet for within a month.

Peter