Change name of TASTY attribute to TASTY

It does not matter whether it comes from Dotty or elsewhere. We can record the
name of the producer in a section of the format itself.

Author: odersky

src/dotty/tools/backend/jvm/GenBCode.scala

@@ -178,7 +178,7 @@ class GenBCodePipeline(val entryPoints: List[Symbol], val int: DottyBackendInter
         if (claszSymbol.isClass) // @DarkDimius is this test needed here?
           for (pickler <- ctx.compilationUnit.picklers.get(claszSymbol.asClass)) {
             val binary = pickler.assembleParts()
-            val dataAttr = new CustomAttr(nme.DottyTASTYATTR.toString, binary)
+            val dataAttr = new CustomAttr(nme.TASTYATTR.toString, binary)
             plainC.visitAttribute(dataAttr)
           }
 

src/dotty/tools/dotc/core/StdNames.scala

@@ -215,7 +215,7 @@ object StdNames {
     final val RuntimeParamAnnotationATTR: N = "RuntimeVisibleParameterAnnotations" // RetentionPolicy.RUNTIME (annotations on parameters)
     final val ScalaATTR: N                  = "Scala"
     final val ScalaSignatureATTR: N         = "ScalaSig"
-    final val DottyTASTYATTR: N             = "DottyTASTY"
+    final val TASTYATTR: N                  = "TASTY"
     final val SignatureATTR: N              = "Signature"
     final val SourceFileATTR: N             = "SourceFile"
     final val SyntheticATTR: N              = "Synthetic"