Fix bug where instrumented version of webidl2 was loaded despite JSCOV not being defined.
Fix bug where instrumented version of webidl2 was loaded despite JSCOV not being defined.
othree/webidl2.js,darobin/webidl2.js,darobin/webidl2.js,othree/webidl2.js