Update `CONTRIBUTING.md`

[sebastian-peter]

The file CONTRIBUTING.md needs some updating. With a first glance, I noticed an outdated link to CI and the usage of the WIP: prefix, which doesn't apply to Github.