feat(highlight-auto): support subset of languageNames

[metonym]

Closes #383

Highlight.js already supports the ability to specify a subset of language names. This can improve the performance of using HighlightAuto, along with accuracy.

It uses the LanguageName utility type added in #386 for better type safety. languageNames itself is typed to allow an arbitrary string, while affording autocomplete.

export type HighlightAutoProps = HTMLAttributes<HTMLPreElement> &
  LangtagProps & {
    /**
     * Specify a subset of language names to restrict language auto-detection to.
     * This can improve performance and accuracy.
     * @example ["javascript", "typescript"]
     */
    languageNames?: (LanguageName | (string & {}))[];
  };