Use Python's logging system

Abandon our own home-made one in favor of one that uses the `logging`
package of the standard library. It allows more flexibility and removes
some oddities like the double "Logger" definition and some "global"
assignments.