Build system: by default, error out if LaTeX distribution is not there

A new --disable-doc configure flag has been introduced to skip the compilation
of the documentation.