IDE: Fix logging of external process execution time so that it is visible on windows as well.

from __future__ import absolute_import
from svgui.pyjs.pyjs import *