update links and minor formulation aspects
The top-level README.md currently still refers to gitlab.com, which forwards to git.h2t.iar.kit.edu. With this merge request, the links are adjusted to directly point to H2T's gitlab instance. Also, minor formulations are fixed.