New semantic analyzer: Explain that global variable must be declared at module top level

The error message is poor for code like this where we don't initialize or declare a global variable at the module top level:

from typing import List


def foo() -> None:
    global bar
    bar = []  # type: List[str]  # Name 'bar' already defined (possibly by an import)
    bar  # Name 'bar' is not defined

It would be better to be explicit and say something like "Global variable must be declared or initialized at module top level".

Follow-up to #6975.

Beginne mit dem semantischen Analysator, der globale Deklarationen behandelt, und reproduziere das Python-Snippet aus dem Issue. Aktualisiere die Diagnose so, dass dieser Fall erklärt, dass die globale Variable auf Modulebene deklariert oder initialisiert werden muss, und überprüfe anschließend, dass die ausgegebene Meldung dem angeforderten Wortlaut entspricht.