Generate documentation for different versions

We currently generate documentation for the latest release (tag), and override any older documentation.

We should make sure that

• we keep all current and previous release documentation, accessible with specific version number (e.g., v1.1) or with latest,
• we can access current development documentation with master or dev