Changes to puppet in the infrastructure repo

Hi,

Until now the process to deploy changes to our CI and web infrastructure
required manual deployment. But as of a few minutes ago commits will
automatically get deployed to the master via Jenkins using a github
hook. Hopefully this will drastically improve the velocity at which we
can improve the infrastructure.

Let me know if you have any questions.

-Sam