Utilities/Sphinx: Build documentation independently by default

Previously we made the documentation target depend on the executable targets. There is no real reason to do this other than serializing the documentation build output in terminals. Move this dependency behind an undocumented option so that it is not on by default.