Replace Docker Desktop with lima

Docker Desktop was automatically mounting some paths on the Linux VM, like the Home folder. Lima has everything, automatic volume mount, port forwarding, and support to Intel and M1 CPUs. I plan to have Lima manage a VM running the Docker server and expose the socket to my Mac.