adjust cloning description due to default branch change
As the default branch was switched to development, now every cloning process leads to the development branch checked out. This should be stated clearly in the readme.
Aufgrund einer Wartung am 30.07.2024 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. -- Due to maintenance at 30.07.2024 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
As the default branch was switched to development, now every cloning process leads to the development branch checked out. This should be stated clearly in the readme.