Improve title of contribution guidelines
Add short role for Github links
Add missing reference target for installation instructions
Shorten the introduction of the manual
Shorten README and documentation frontpage