ci: use dev-docs container for docs CI #255
Description
Switch the docs workflow to run inside ghcr.io/wphillipmoore/dev-docs:latest. Java setup and Javadoc generation are retained inside the container.
Relates-to: standard-tooling-docker#25
{{ message }}