Updated box to Ubuntu 13.10 from 13.04 for Puppet support.