[box] rename box
[make] update ISO version
[nixos] update targets, default packages, opam