Add rules for MKDOCS_OPTIONS

This MR adds rules to the docs CI job to use --no-directory-urls for dev builds, which improves navigation.