Remove `docker.socker` as it's currently broken anyway
Download examples more asynchronously
Make the VMs a little bigger, so users do not have to wait for too long (hopefully)