pdf manual is now off by default.

Pdf manual takes a lot of time to be compiled.
Since it is not very useful, I disable it by default.

Notice that on travis CI it is enables during configure.

[makedoc]