Publish documentation using CI

[TwanoO67]

Implement a way to have the documentation automatically generated and published on github-pages.

( After that we could remove the "docs" folder from version control)