hcds25_squash: squash of all commits + a few commit messages

Based on the original commit fc952ac2212b121aa6eefc273f5960ec3e0a466d (tag: hcds25) of git@gitlab.cs.fau.de:i4/pave/freebsd.git.