Compactar archivos VDI de VirtualBox para que usen menos espacio