Plumb "enableSuperMixins" option through analysis server (implements DEP 34).

pkg/analysis_server/lib/src/domain_analysis.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library domain.analysis;
 
 import 'dart:async';
 import 'dart:core' hide Resource;
 
 import 'package:analysis_server/src/analysis_server.dart';
@@ skipping 263 matching lines @@
     if (newOptions.generateHints != null) {
       updaters.add((engine.AnalysisOptionsImpl options) {
         options.hint = newOptions.generateHints;
       });
     }
     if (newOptions.generateLints != null) {
       updaters.add((engine.AnalysisOptionsImpl options) {
         options.lint = newOptions.generateLints;
       });
     }
+    if (newOptions.enableSuperMixins != null) {
+      updaters.add((engine.AnalysisOptionsImpl options) {
+        options.enableSuperMixins = newOptions.enableSuperMixins;
+      });
+    }
     server.updateOptions(updaters);
     return new AnalysisUpdateOptionsResult().toResponse(request.id);
   }
 }
 
 /**
  * An AST visitor that computer navigation regions in the givne region.
  */
 class _GetNavigationAstVisitor extends UnifyingAstVisitor {
   final int rangeStart;
@@ skipping 17 matching lines @@
       return;
     }
     // The node starts or ends in the range.
     if (isInRange(node.offset) || isInRange(node.end)) {
       computer.compute(node);
       return;
     }
     super.visitNode(node);
   }
 }