Versions of the documentation with Documenter.jl

[ufechner7]

It works now after creating a new tag manually:

git tag -a v1.1.0+doc1 -m "v1.1.0"
git push --tag 

But should that be needed?