Swap production puppetmasters to use db1001

db9 is being deprecated. Swap both the old as well as the new
infrastructure to use db1001.

Change-Id: I357eccff3945948458d72b17e95a0461d939c723