made manager.setup use the logging infrastructure, made manager.setup_logger more flexible wrt logging formats