Ticket #352: Adding MochiKit.DateTime.toISOTime arguments to the API

[Per Cederberg]

In ticket #352 the realISO parameter in the
MochiKit.DateTime.toISOTime() function is discussed:

http://trac.mochikit.com/ticket/352

It was introduced by Bob in r377 (some 4 years ago), but never added
to the documentation or the official API:

http://trac.mochikit.com/changeset/377

Is it time that we now add it? Or is it just one of those hacks that
we should just hide away? Opinons?

Cheers,

/Per