Fix box detection

Vagrant 1.5 added box version support, which changes the directory structure that we were expecting. As slow as it is, we should use vagrant's `box list` command to test which boxes are installed, rather than depending on knowledge of its private directory structure.

Replaces #42, and fixes #36