configure: Add option to disable building documentation.