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).