all creations of mirrors (except for the one in Tools.scala) are now replaced

with a call to the `scala.pickling.package.currentMirror` macro that
does all the optimizations necessary