devbox: a portable personal dev environment