devbox: fix missing package and changes on docker images names and tags