GitLab

* Restructure documentation so that development information is presented at the bottom.
* Add a section describing how to run Docker for local development.