Be more explicit about required virtualbox version

This reduces the possibility someone will try to use an unsupported version
of virtualbox with the machine image and hopefully fixes the documentation
which had the wrong version numbers in it.

xref #38, but that issue is not fully resolved yet.