Radically reduce the noise on stdout. The full build logs will still be
available under Documentatio/output/latex/*.log.

Cc: Mauro Carvalho Chehab <mchehab@osg.samsung.com>
Reviewed-by: NMauro Carvalho Chehab <mchehab@s-opensource.com>
Tested-by: NMarkus Heiser <markus.heiser@darmarIT.de>
Signed-off-by: NJani Nikula <jani.nikula@intel.com>