pkg/third_party/html5lib: lots of cleanup

pkg/third_party/html5lib/lib/src/inputstream.dart

 library inputstream;
 
 import 'dart:collection';
 import 'package:utf/utf.dart';
 import 'package:source_maps/span.dart' show SourceFile;
 import 'char_encodings.dart';
 import 'constants.dart';
 import 'utils.dart';
 import 'encoding_parser.dart';
 
@@ skipping 288 matching lines @@
 /**
  * Return the python codec name corresponding to an encoding or null if the
  * string doesn't correspond to a valid encoding.
  */
 String codecName(String encoding) {
   final asciiPunctuation = new RegExp(
       "[\u0009-\u000D\u0020-\u002F\u003A-\u0040\u005B-\u0060\u007B-\u007E]");
 
   if (encoding == null) return null;
   var canonicalName = encoding.replaceAll(asciiPunctuation, '').toLowerCase();
-  return encodings[canonicalName];
+  return ENCODINGS[canonicalName];
 }