Push documentation as gitlab pages

Once gitlab pages are enacted on the server,

• Push S1 Tiling documentation as a new page
• Add a link from the README to the documentation
• See to provide a script that generate the HTML pages from the RST files
• See if the updating script could be registered as a push hook on master branch and on tags