DateTimeToString setting

The Settings are extended with DateTimeToString property which indicates
the DateTime data type to be translated to javascript's "string" instead
of a "Date" data type.