Work around the fact that idlharness.js doesn't support DOMTimeStamp yet.
Merge pull request #356 from Ms2ger/DOMTimeStamp-idlharness-workaround

Work around the fact that idlharness.js doesn't support DOMTimeStamp yet.