fully document virtualsize attribute of <vagrantconfig>