build: Add --disable-documentation

Documentation is the source of many cyclical build loops.  Allow
operating system builders to manually cut these cycles initially
by disabling documentation for a first pass.

https://bugzilla.gnome.org/show_bug.cgi?id=675087