make-devenv: use lima as an alternative to provision development environment for mac users

[Dentrax]

As of now, make-devenv.sh entirely relies on Docker Desktop. apko already adopted lima to provision simple playground for mac users. Since Docker Desktop is "not-free", contributors might want to look for different alternatives. lima, on the other hand, really lightweight and free to use. My idea is to add lima to make-devenv script. So that,

$ make-devenv # as-is, by default docker
$ make-devenv docker # explicitly choose docker
$ make-devenv lima # explicitly choose lima

Any thoughts?

cc @developer-guy