timezone Puppet module to (re)configure the timezone on Debian/Ubuntu