Chef cookbooks for the devbox tool