Parallelizing the CI doc build

[Dan Eble]

Would we still be validating LilyPond properly if we split the doc stage of the 
build into multiple stages that can be run in parallel on different runners, or 
is it fundamentally important that we test "make doc"?
— 
Dan