documentation: Add Gitlab documentation guide

documentation/how_to_document_things_on_gitlab.md

+# Documentation on Gitlab
+We can use Gitlab to host our documentation by exploiting the fact that Gitlab
+automatically renders Markdown (.md) files as HTML in the browser, making it
+easy to read and show images.
\ No newline at end of file