puppet3: switch everything else to puppet 3

With this commit, all servers will be upgraded to puppet 3.

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