Update jenkins-dev ssh public key.

Swapping out jenkins-dev ssh credentials requires updating the public
key stored in puppet. Make it so.

Change-Id: Iffae50489d2db8f5646f543bd3789c1750218cc5