Find duplicates in mkdocs.yml.

Check whether an .md file is included multiple times in check-no-floating.sh. Score-P was included multiple times, see !422 (merged).

added CI/CD Pipeline label

mentioned in merge request !426 (merged)

assigned to @s2817051--tu-dresden.de

mentioned in issue #5 (closed)

mentioned in commit e9dfacd5

closed with merge request !426 (merged)