Explicitly name vagrant box as trusty32.

Stupidly small change. Take it or leave it :)