fix: dev: Pull the doc/misc/options{,.active} from the CI
The doc/misc/options{,.active} were built on system with different configuration than we have in the CI, so the docs job just keeps failing. Pull the files from the CI, so they match what we have in the CI images.
Edited by Ondřej Surý