A vagrant box for Igor