Split script check-no-floating.sh into multiple scripts

check-no-floating checks multiple things. According with the separation-of-concerns principle, these things should be separated to allow an easier overview when looking at a pipeline. There should be scripts for:

• maximum depth check
• every page included check
• every page included exactly once check
• check for references that should be in the footer