Explicitly name vagrant box as trusty32.

To differentiate from trusty64.
Merge pull request #583 from patcon/patch-1

Explicitly name vagrant box as trusty32.