Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #2956 - oli-obk:atty, r=RalfJung
Switch over to rustc's `tracing` crate instead of using our own `log` crate
disadvantage: to turn on debug/trace logging, you need a rustc built with it
advantage: sharing our logging scheme with rustc, so our logs get nested correctly.