Foce the use of minted2 for doc user doc pdf generation

Now the default minted is "minted3" which is far to rigid for security
reasons...
We will keep on minted2 forever