packer for the ubuntu 13.04 with docker