lint: re-alphabetize some goog.provides with new linter.