Always specify box_name

After vagrant 1.4, the box_name is something that is now required
at all times. We use the trusty official image in vagrant cloud
if not otherwise specified.

Change-Id: Ibb45c8fbfd4a37c39d817504bb64c0100e49ee87