Initial version of devbox provisioning