Add documentation development version

[sgrava]

Show also development documentation, not only last version.
Useful if something gets added to the docs but not released immediately.

To do

Configure the documentation pipeline tool mike to deploy also the latest documentation version.