Next: Is KVM or Docker Faster for Server Virtualization?