Do we need two logging modules in two different places?

[bittner]

Pyjs has two different implementations for logging:

1. logging in pyjs/lib/,
   a copy of Python's logging module implementation
2. logging in pyjswidgets/pyjamas/,
   an enhancement module for Python's logging module suggested to be used in Pyjs

We obviously can't consolidate them, because one is the Python library implementation, and only the other is Pyjs source code that extends the latter. But is pyjswidgets the right place for the enhancement module?

Also, do we really need a copy of Python source code? Can't this be imported a compilation time?