GitLab

* fix builds when merging PRs

* move contributing guidelines into docs

* restore markdown format for the README

* move away documentation from the README, use dedicated pages

* add logo