Add configure option to enable documentation explicitly