build: Rename -Dgtk_doc option to -Ddocumentation and fix some g-ir-scanner warnings
Because the documentation is no longer built using gtk-doc.
Keep the old option around, but deprecated.
Signed-off-by: Philip Withnall pwithnall@gnome.org
Helps: #3037 (closed)