Explicitly name vagrant box as trusty32.

To differentiate from trusty64.