Label master branch as dev in docs

Michiel Cottaarrequested to merge
multi-version-docs into master

Merge request reports