NixOS boxes for Vagrant