deps/gazebosim/*: Disable doc build to speed up build process

When building a workspace after a full upgrade, nothing actually has to be done. However, the documentation in these packages will always be recreated. We don't actually need it.