Add build setting to decide whether documentation gets built

Defaults to NO