puppet3: correct pin file extension

As the preceding change has been merged before it was tested properly,
I'm correcting now the file extension for the pinning.

Change-Id: If01b8cc7c6c29ebc711cb315eca6d082f726cc5f
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>