Removed old dependencies on tools.logging and tools.trace.
Merge pull request #132 from jeluard/master

Removed old dependencies on tools.logging and tools.trace.