Debug system with level and tags

src/main/scala/leon/Logger.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/PassManager.scala

src/main/scala/leon/Settings.scala

src/main/scala/leon/plugin/LeonPlugin.scala