A puppet recipe for wget, a useful tool to download arbitary files from the web