Documentation versioning

A first proposal to version documentation and to automate release.

I need some more details on the desired scheme for the Changelog.
Now the versions are 3 digits and they appear as 2 digits in the changelog.

Does it mean that new micro versions (third digit increment) should not add entries in the changelog ?

I will take in account any remarks on the topic and update this PR.